From 51fe28bdd9943e359de5835d2737c0fdc8618df7 Mon Sep 17 00:00:00 2001
From: adelon <22380201+adelon@users.noreply.github.com>
Date: Tue, 8 Jul 2025 21:20:20 +0200
Subject: Linting and optimization

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

(limited to 'library/relation')

diff --git a/library/relation/equivalence.tex b/library/relation/equivalence.tex
index 0c5dbfa..f8b1ba7 100644
--- a/library/relation/equivalence.tex
+++ b/library/relation/equivalence.tex
@@ -180,7 +180,7 @@
 \begin{proof}
     Take $a\in A$ such that $C = \equivalenceClass{E}{a}$.
     Then $a\in \equivalenceClass{E}{a}$.
-    $C$ is inhabited by \cref{quotient,inhabited,equivclasses_inhabited}.
+    $C$ is inhabited by \cref{quotient,equivclasses_inhabited}.
 \end{proof}
 
 \begin{proposition}\label{quotient_elems_type}
-- 
cgit v1.2.3