diff options
Diffstat (limited to 'library/relation/equivalence.tex')
| -rw-r--r-- | library/relation/equivalence.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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} |