NEWS

--- a/NEWS	Fri Mar 14 18:13:56 2025 +0100
+++ b/NEWS	Sat Mar 15 09:17:46 2025 +0100
@@ -52,6 +52,10 @@
   - Added lemmas.
       quotient_disj_strong
 
+* Theory "HOL.Transfer":
+  - Added lemmas.
+      single_valuedp_eq_right_unique
+
 * Theory "HOL-Library.Multiset":
   - Renamed lemmas. Minor INCOMPATIBILITY.
       filter_image_mset ~> filter_mset_image_mset