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/ordinal.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'library/ordinal.tex')

diff --git a/library/ordinal.tex b/library/ordinal.tex
index 6f924c1..c092fa8 100644
--- a/library/ordinal.tex
+++ b/library/ordinal.tex
@@ -559,7 +559,7 @@ Then $\alpha\subseteq\beta$.
 \end{lemma}
 \begin{proof}
     Suppose not.
-    Then $\emptyset\precedes \emptyset$ by \cref{notin_emptyset,limit_ordinal}.
+    Then $\emptyset\precedes \emptyset$ by \cref{emptyset,limit_ordinal}.
     Thus $\emptyset\in \emptyset$.
     Contradiction.
 \end{proof}
@@ -636,4 +636,4 @@ Then $\alpha\subseteq\beta$.
 %    $\emptyset\precedes \naturals$.
 %    If $n\in \naturals$, then $\suc{n}\in\naturals$.
 %\end{proof}
-%
\ No newline at end of file
+%
-- 
cgit v1.2.3