--- a/NEWS Mon Mar 24 09:53:17 2025 +0100
+++ b/NEWS Mon Mar 24 09:56:20 2025 +0100
@@ -58,6 +58,9 @@
- Added lemmas.
antisym_on_bot[simp]
antisymp_on_bot[simp]
+ antisymp_on_mono
+ antisymp_on_mono_strong
+ antisymp_on_mono_stronger
asym_on_bot[simp]
asymp_on_bot[simp]
irrefl_on_bot[simp]