--- a/NEWS Mon Mar 24 13:59:08 2025 +0100
+++ b/NEWS Mon Mar 24 14:04:11 2025 +0100
@@ -71,6 +71,7 @@
left_unique_mono[mono]
left_unique_mono_strong
refl_on_top[simp]
+ reflp_on_mono[mono]
reflp_on_refl_on_eq[pred_set_conv]
reflp_on_top[simp]
right_unique_mono[mono]