Skip to content

Commit 6330ae3

Browse files
authored
Update numerics.tex
1 parent f9fc3cd commit 6330ae3

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

source/numerics.tex

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -18420,7 +18420,7 @@
1842018420
\begin{itemdescr}
1842118421
\pnum
1842218422
\constraints
18423-
\tcode{T} models \tcode{totally_ordered}.
18423+
\tcode{T} models \libconcept{totally_ordered}.
1842418424

1842518425
\pnum
1842618426
\returns
@@ -18438,7 +18438,7 @@
1843818438
\begin{itemdescr}
1843918439
\pnum
1844018440
\constraints
18441-
\tcode{T} models \tcode{totally_ordered}.
18441+
\tcode{T} models \libconcept{totally_ordered}.
1844218442

1844318443
\pnum
1844418444
\returns
@@ -18457,7 +18457,7 @@
1845718457
\begin{itemdescr}
1845818458
\pnum
1845918459
\constraints
18460-
\tcode{T} models \tcode{totally_ordered}.
18460+
\tcode{T} models \libconcept{totally_ordered}.
1846118461

1846218462
\pnum
1846318463
\returns
@@ -18475,7 +18475,7 @@
1847518475
\begin{itemdescr}
1847618476
\pnum
1847718477
\constraints
18478-
\tcode{T} models \tcode{totally_ordered}.
18478+
\tcode{T} models \libconcept{totally_ordered}.
1847918479

1848018480
\pnum
1848118481
\returns

0 commit comments

Comments
 (0)