--- a/NEWS Mon Mar 24 14:09:48 2025 +0100
+++ b/NEWS Mon Mar 24 14:21:36 2025 +0100
@@ -67,6 +67,8 @@
asymp_on_bot[simp]
irrefl_on_bot[simp]
irreflp_on_bot[simp]
+ irreflp_on_mono[mono]
+ irreflp_on_mono_strong
left_unique_bot[simp]
left_unique_iff_Uniq
left_unique_mono[mono]