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/function.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/function.tex')

diff --git a/library/function.tex b/library/function.tex
index 47d399f..7616593 100644
--- a/library/function.tex
+++ b/library/function.tex
@@ -465,7 +465,7 @@
     Then $f(x) = \emptyset$.
 \end{proposition}
 \begin{proof}
-    $\img{f}{\{x\}} = \emptyset$ by \cref{setext,notin_emptyset,img_singleton_iff,dom_intro}.
+    $\img{f}{\{x\}} = \emptyset$ by \cref{setext,emptyset,img_singleton_iff,dom_intro}.
     Follows by \cref{apply,unions_emptyset}.
 \end{proof}
 
-- 
cgit v1.2.3