Merge Preconditions

Author: tkoeppe

source/lib-intro.tex

@@ -1639,9 +1639,6 @@
 \pnum
 \expects
 \tcode{decltype(a == b)} models \exposconcept{boolean-testable}.
-
-\pnum
-\expects
 \tcode{==} is an equivalence relation,
 that is, it has the following properties:
 \begin{itemize}
@@ -1668,9 +1665,6 @@
 \pnum
 \expects
 \tcode{decltype(a < b)} models \exposconcept{boolean-testable}.
-
-\pnum
-\expects
 \tcode{<} is a strict weak ordering relation\iref{alg.sorting}.
 \end{itemdescr}