[const.iterators.types,const.iterators.ops] Use \libconcept for range concepts (#5752)

Author: hewillk

source/iterators.tex

@@ -4333,21 +4333,21 @@
 If \tcode{Iterator} models \libconcept{contiguous_iterator},
 then \tcode{iterator_concept} denotes \tcode{contiguous_iterator_tag}.
 \item
-Otherwise, if \tcode{Iterator} models \tcode{random_access_iterator},
+Otherwise, if \tcode{Iterator} models \libconcept{random_access_iterator},
 then \tcode{iterator_concept} denotes \tcode{random_access_iterator_tag}.
 \item
-Otherwise, if \tcode{Iterator} models \tcode{bidirectional_iterator},
+Otherwise, if \tcode{Iterator} models \libconcept{bidirectional_iterator},
 then \tcode{iterator_concept} denotes \tcode{bidirec\-tional_iterator_tag}.
 \item
-Otherwise, if \tcode{Iterator} models \tcode{forward_iterator},
+Otherwise, if \tcode{Iterator} models \libconcept{forward_iterator},
 then \tcode{iterator_concept} denotes \tcode{forward_itera\-tor_tag}.
 \item
 Otherwise, \tcode{iterator_concept} denotes \tcode{input_iterator_tag}.
 \end{itemize}
 
 \pnum
 The member \grammarterm{typedef-name} \tcode{iterator_category} is defined
-if and only if \tcode{Iterator} models \tcode{forward_iterator}.
+if and only if \tcode{Iterator} models \libconcept{forward_iterator}.
 In that case,
 \tcode{basic_const_iterator<Iterator>::iterator_category} denotes
 the type \tcode{iterator_traits<\brk{}Iterator>::iterator_category}.
@@ -4434,7 +4434,7 @@
 \begin{itemdescr}
 \pnum
 \returns
-If \tcode{Iterator} models \tcode{contiguous_iterator},
+If \tcode{Iterator} models \libconcept{contiguous_iterator},
 \tcode{to_address(\exposid{current_})};
 otherwise, \tcode{address\-of(*\exposid{current_})}.
 \end{itemdescr}