--- a/NEWS Tue Mar 26 09:31:34 2024 +0100
+++ b/NEWS Tue Mar 26 09:33:33 2024 +0100
@@ -114,7 +114,7 @@
such as asymp, transp, or totalp.
- Added lemmas.
wellorder.wfp_on_less[simp]
- wfP_iff_ex_minimal
+ wfp_iff_ex_minimal
wf_iff_ex_minimal
wf_onE_pf
wf_onI_pf