--- a/NEWS Tue Mar 26 21:44:18 2024 +0100 +++ b/NEWS Wed Mar 27 10:54:47 2024 +0100 @@ -120,7 +120,7 @@ predicates 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