From da6d425281534407a92ce18a22584905a7847a39 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Tue, 8 Jul 2025 22:16:01 +0200
Subject: Update lemma name

---
 library/topology/urysohn.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'library/topology/urysohn.tex')

diff --git a/library/topology/urysohn.tex b/library/topology/urysohn.tex
index bfbf54d..22508e1 100644
--- a/library/topology/urysohn.tex
+++ b/library/topology/urysohn.tex
@@ -752,8 +752,8 @@ This is the first attempt to prove Urysohns Lemma with the usage of struct.
 %
 %            Omitted.
 %
-%            % Contradiction by \cref{two_in_naturals,function_apply_default,reals_axiom_zero_in_reals,dom_emptyset,notin_emptyset,funs_type_apply,neg,minus,abs_behavior1}.
-%            %Follows by \cref{two_in_naturals,function_apply_default,reals_axiom_zero_in_reals,dom_emptyset,notin_emptyset,funs_type_apply,neg,minus,abs_behavior1}.
+%            % Contradiction by \cref{two_in_naturals,function_apply_default,reals_axiom_zero_in_reals,dom_emptyset,emptyset,funs_type_apply,neg,minus,abs_behavior1}.
+%            %Follows by \cref{two_in_naturals,function_apply_default,reals_axiom_zero_in_reals,dom_emptyset,emptyset,funs_type_apply,neg,minus,abs_behavior1}.
 %        \end{subproof}
 %        Omitted.
 %    \end{subproof}
-- 
cgit v1.2.3

