--- 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]