[concepts] Renamed concepts' section names to remove trailing prepositions for consistency.

* concept.convertibleto => concept.convertible
* concept.derivedfrom => concept.derived
* concept.stricttotallyordered => concept.totallyordered

Author: Dawn Perchik

source/concepts.tex

@@ -151,11 +151,11 @@
   template<class T, class U>
     concept same_as = @\seebelow@;
 
-  // \ref{concept.derivedfrom}, concept \libconcept{derived_from}
+  // \ref{concept.derived}, concept \libconcept{derived_from}
   template<class Derived, class Base>
     concept derived_from = @\seebelow@;
 
-  // \ref{concept.convertibleto}, concept \libconcept{convertible_to}
+  // \ref{concept.convertible}, concept \libconcept{convertible_to}
   template<class From, class To>
     concept convertible_to = @\seebelow@;
 
@@ -223,7 +223,7 @@
   template<class T, class U>
     concept equality_comparable_with = @\seebelow@;
 
-  // \ref{concept.stricttotallyordered}, concept \libconcept{totally_ordered}
+  // \ref{concept.totallyordered}, concept \libconcept{totally_ordered}
   template<class T>
     concept totally_ordered = @\seebelow@;
   template<class T, class U>
@@ -290,7 +290,7 @@
 \end{note}
 \end{itemdescr}
 
-\rSec2[concept.derivedfrom]{Concept \libconcept{derived_from}}
+\rSec2[concept.derived]{Concept \libconcept{derived_from}}
 
 \indexlibrary{\idxcode{derived_from}}%
 \begin{itemdecl}
@@ -309,7 +309,7 @@
 \end{note}
 \end{itemdescr}
 
-\rSec2[concept.convertibleto]{Concept \libconcept{convertible_to}}
+\rSec2[concept.convertible]{Concept \libconcept{convertible_to}}
 
 \pnum
 The \libconcept{convertible_to} concept requires an expression of a particular
@@ -951,7 +951,7 @@
 \tcode{bool(t == u) == bool(C(t) == C(u))}.
 \end{itemdescr}
 
-\rSec2[concept.stricttotallyordered]{Concept \libconcept{totally_ordered}}
+\rSec2[concept.totallyordered]{Concept \libconcept{totally_ordered}}
 
 \indexlibrary{\idxcode{totally_ordered}}%
 \begin{itemdecl}

source/lib-intro.tex

@@ -533,7 +533,7 @@
 result in the required semantics failing to be met.
 \begin{example}
 The required \tcode{<} operator of the \libconcept{totally_ordered}
-concept\iref{concept.stricttotallyordered} does not meet the
+concept\iref{concept.totallyordered} does not meet the
 semantic requirements of that concept when operating on NaNs.
 \end{example}
 This does not affect whether a type models the concept.