diff -r 1b73c3e17d9f -r 15a5e0922f45 NEWS
--- a/NEWS	Tue Mar 04 19:34:12 2025 +0100
+++ b/NEWS	Wed Mar 05 08:28:21 2025 +0100
@@ -16,6 +16,8 @@
 
 * Theory "HOL.Wellfounded":
   - Added lemmas.
+      bex_rtrancl_min_element_if_wf_on
+      bex_rtrancl_min_element_if_wfp_on
       wf_on_lex_prod[intro]
       wfp_on_iff_wfp