From c943ca6441e9118bc9caee1c11f697da89bc06b7 Mon Sep 17 00:00:00 2001
From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com>
Date: Wed, 18 Sep 2024 00:01:42 +0200
Subject: working commit

---
 library/set/equinumerosity.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/set')

diff --git a/library/set/equinumerosity.tex b/library/set/equinumerosity.tex
index a846b78..a922052 100644
--- a/library/set/equinumerosity.tex
+++ b/library/set/equinumerosity.tex
@@ -15,7 +15,7 @@
     $A\approx A$.
 \end{proposition}
 \begin{proof}
-    $\identity{A}$ is a bijection from $A$ to $A$ by \cref{id_is_bijection}.
+    $\identity{A}$ is a bijection from $A$ to $A$. %by \cref{id_is_bijection}.
     Follows by \cref{equinum}.
 \end{proof}
 
-- 
cgit v1.2.3