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 01f681d commit cc393dbCopy full SHA for cc393db
source/concepts.tex
@@ -1199,14 +1199,14 @@
1199
\begin{itemize}
1200
\item
1201
\tcode{equiv}
1202
-is an equivalence relation
+is an equivalence relation,
1203
1204
\tcode{comp}
1205
induces a well-defined relation on the equivalence
1206
classes determined by
1207
-\tcode{equiv}
+\tcode{equiv}, and
1208
1209
-The induced relation is a strict total ordering.
+the induced relation is a strict total ordering.
1210
\end{itemize}
1211
\end{note}
1212
\end{itemdescr}
0 commit comments