--- a/NEWS Fri Dec 16 10:13:52 2022 +0100
+++ b/NEWS Fri Dec 16 10:18:35 2022 +0100
@@ -79,6 +79,7 @@
preorder.reflp_on_ge[simp]
preorder.reflp_on_le[simp]
reflp_on_conversp[simp]
+ symp_on_sym_on_eq[pred_set_conv]
totalI
totalp_on_converse[simp]
totalp_on_singleton[simp]