--- a/NEWS Thu Dec 15 09:44:50 2022 +0100
+++ b/NEWS Thu Dec 15 10:51:46 2022 +0100
@@ -41,7 +41,9 @@
total_on_singleton
- Added lemmas.
antisym_if_asymp
+ antisym_onI
antisymp_if_asymp
+ antisymp_onI
antisymp_on_antisym_on_eq[pred_set_conv]
asym_if_irrefl_and_trans
asymp_if_irreflp_and_transp