--- a/NEWS Mon Mar 17 09:12:18 2025 +0100
+++ b/NEWS Mon Mar 17 11:30:39 2025 +0100
@@ -63,7 +63,9 @@
- Added lemmas.
bex_rtrancl_min_element_if_wf_on
bex_rtrancl_min_element_if_wfp_on
+ wf_on_bot[simp]
wf_on_lex_prod[intro]
+ wfp_on_bot[simp]
wfp_on_iff_wfp
* Theory "HOL.Order_Relation":