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 3f88656 commit f9fc3cdCopy full SHA for f9fc3cd
source/numerics.tex
@@ -19262,7 +19262,7 @@
19262
\begin{itemdescr}
19263
\pnum
19264
\constraints
19265
-\tcode{T} models \tcode{totally_ordered}.
+\tcode{T} models \libconcept{totally_ordered}.
19266
19267
19268
\returns
@@ -19280,7 +19280,7 @@
19280
19281
19282
19283
19284
19285
19286
@@ -19311,7 +19311,7 @@
19311
19312
19313
19314
19315
19316
19317
\expects
0 commit comments