--- a/NEWS	Mon Oct 10 19:07:54 2022 +0200
+++ b/NEWS	Tue Oct 11 11:07:07 2022 +0200
@@ -16,6 +16,8 @@
       antisymp_if_asymp
       irreflD
       irreflpD
+      reflp_ge[simp]
+      reflp_le[simp]
       totalp_on_singleton[simp]
changeset 76257	61a5b5ad3a6e
parent 76255	b3ff4f171eda
child 76258	2f10e7a2ff01