--- a/NEWS Wed Feb 22 22:01:26 2023 +0000
+++ b/NEWS Thu Feb 23 12:31:46 2023 +0100
@@ -217,6 +217,8 @@
asymp_multpHO
asymp_not_liftable_to_multpHO
irreflp_on_multpHO[simp]
+ multpDM_mono_strong
+ multpHO_mono_strong
multpHO_plus_plus[simp]
totalp_multpDM
totalp_multpHO