--- a/NEWS Thu Feb 23 12:35:37 2023 +0100
+++ b/NEWS Thu Feb 23 15:37:17 2023 +0100
@@ -221,6 +221,8 @@
multpDM_plus_plusI[simp]
multpHO_mono_strong
multpHO_plus_plus[simp]
+ strict_subset_implies_multpDM
+ strict_subset_implies_multpHO
totalp_multpDM
totalp_multpHO
totalp_on_multpDM