For comparable, change Mandates to Preconditions

tkoeppe · tkoeppe · commit 0d89911c9468 · 2023-05-08T15:00:07.000+01:00
diff --git a/source/lib-intro.tex b/source/lib-intro.tex
@@ -1628,7 +1628,7 @@
 
 \begin{itemdescr}
 \pnum
-\mandates
+\expects
 \tcode{decltype(a == b)} models \exposconcept{boolean-testable}.
 
 \pnum
@@ -1657,7 +1657,7 @@
 
 \begin{itemdescr}
 \pnum
-\mandates
+\expects
 \tcode{decltype(a < b)} models \exposconcept{boolean-testable}.
 
 \pnum
