For comparable, change Mandates to Preconditions

tkoeppe · tkoeppe · commit 2692cb44fc08 · 2022-12-19T18:22:55.000Z
diff --git a/source/lib-intro.tex b/source/lib-intro.tex
@@ -1637,7 +1637,7 @@
 
 \begin{itemdescr}
 \pnum
-\mandates
+\expects
 \tcode{decltype(a == b)} models \exposconcept{boolean-testable}.
 
 \pnum
@@ -1666,7 +1666,7 @@
 
 \begin{itemdescr}
 \pnum
-\mandates
+\expects
 \tcode{decltype(a < b)} models \exposconcept{boolean-testable}.
 
 \pnum
