[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/iterators.tex

@@ -1359,7 +1359,7 @@
 \pnum
 All integer-class types model
 \libconcept{regular}\iref{concepts.object} and
-\libconcept{totally_ordered}\iref{concept.stricttotallyordered}.
+\libconcept{totally_ordered}\iref{concept.totallyordered}.
 
 \pnum
 A value-initialized object of integer-class type has value 0.

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.

source/support.tex

@@ -4797,7 +4797,7 @@
   \end{itemize}
 \item
   If \tcode{Cat} is convertible to \tcode{strong_ordering}, \tcode{T} models
-  \libconcept{totally_ordered}\iref{concept.stricttotallyordered}.
+  \libconcept{totally_ordered}\iref{concept.totallyordered}.
 \end{itemize}
 
 \indexlibrary{\idxcode{three_way_comparable_with}}%
@@ -4855,7 +4855,7 @@
 \item
   if \tcode{Cat} is convertible to \tcode{strong_ordering},
   \tcode{T} and \tcode{U} model
-  \tcode{\libconcept{totally_ordered_with}<T, U>}\iref{concept.stricttotallyordered}.
+  \tcode{\libconcept{totally_ordered_with}<T, U>}\iref{concept.totallyordered}.
 \end{itemize}
 
 \rSec2[cmp.result]{Result of three-way comparison}