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.
2 parents 844a9b8 + 0eff4c2 commit 1aaa281Copy full SHA for 1aaa281
source/algorithms.tex
@@ -2394,6 +2394,7 @@
2394
\tcode{equiv(a, b) \&\& equiv(b, c)}
2395
implies
2396
\tcode{equiv(a, c)}
2397
+\end{itemize}
2398
\enternote
2399
Under these conditions, it can be shown that
2400
\begin{itemize}
@@ -2407,9 +2408,8 @@
2407
2408
\tcode{equiv}
2409
\item
2410
The induced relation is a strict total ordering.
-\exitnote
2411
-\end{itemize}
2412
\end{itemize}
+\exitnote
2413
2414
\pnum
2415
A sequence is
0 commit comments