We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent de4ddf0 commit f4a6f32Copy full SHA for f4a6f32
source/algorithms.tex
@@ -3703,14 +3703,14 @@
3703
\begin{itemize}
3704
\item
3705
\tcode{equiv}
3706
-is an equivalence relation
+is an equivalence relation,
3707
3708
\tcode{comp}
3709
induces a well-defined relation on the equivalence
3710
classes determined by
3711
-\tcode{equiv}
+\tcode{equiv}, and
3712
3713
-The induced relation is a strict total ordering.
+the induced relation is a strict total ordering.
3714
\end{itemize}
3715
\end{note}
3716
0 commit comments