--- a/NEWS Fri Oct 28 13:18:27 2022 +0200
+++ b/NEWS Fri Oct 28 15:39:35 2022 +0200
@@ -47,7 +47,10 @@
wfP_pfsubset
* Theory "HOL-Library.Multiset":
- - Added lemma wfP_subset_mset[simp].
+ - Added lemmas.
+ mult_mono_strong
+ multp_mono_strong
+ wfP_subset_mset[simp]
*** ML ***