--- 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