--- a/NEWS Sat Jun 04 18:32:30 2022 +0200
+++ b/NEWS Sat Jun 04 19:11:52 2022 +0200
@@ -66,6 +66,7 @@
totalp_onI
totalp_on_empty[simp]
totalp_on_subset
+ totalp_on_total_on_eq[pred_set_conv]
* Theory "HOL-Library.Multiset":
- Consolidated operation and fact names.