diff -r cbf38b7cb195 -r 7bc934b99faf NEWS
--- a/NEWS	Wed Nov 23 10:27:24 2022 +0100
+++ b/NEWS	Thu Nov 24 10:02:26 2022 +0100
@@ -38,6 +38,8 @@
   - Added lemmas.
       antisym_if_asymp
       antisymp_if_asymp
+      asym_if_irrefl_and_trans
+      asymp_if_irreflp_and_transp
       irrefl_onD
       irrefl_onI
       irrefl_on_converse[simp]