--- a/NEWS Thu Dec 15 10:24:21 2022 +0100
+++ b/NEWS Thu Dec 15 10:25:55 2022 +0100
@@ -42,6 +42,7 @@
- Added lemmas.
antisym_if_asymp
antisymp_if_asymp
+ antisymp_on_antisym_on_eq[pred_set_conv]
asym_if_irrefl_and_trans
asymp_if_irreflp_and_transp
irreflD