# HG changeset patch
# User desharna
# Date 1742803493 -3600
# Node ID 81715228617c1a8839964d1a5ce29b2cb36981ba
# Parent  9a9120ec481561bbce102e8b308fb7f96090ae12
proper lemma name

diff -r 9a9120ec4815 -r 81715228617c NEWS
--- a/NEWS	Mon Mar 24 09:02:19 2025 +0100
+++ b/NEWS	Mon Mar 24 09:04:53 2025 +0100
@@ -93,7 +93,7 @@
       wf_empty[iff] (use wf_on_bot instead)
   - Added lemmas.
       bex_rtrancl_min_element_if_wf_on
-      bex_rtrancl_min_element_if_wfp_on
+      bex_rtransclp_min_element_if_wfp_on
       wf_on_bot[simp]
       wf_on_lex_prod[intro]
       wfp_on_bot[simp]