[range.adaptors] Replace "In that case" with "If declared"

Author: eisenwave

source/ranges.tex

@@ -4938,7 +4938,7 @@
 \pnum
 The member \grammarterm{typedef-name} \tcode{iterator_category} is declared
 if and only if \tcode{V} models \libconcept{forward_range}.
-In that case,
+If declared,
 \tcode{\exposid{iterator}::iterator_category} is defined as follows:
 \begin{itemize}
 \item Let \tcode{C} denote the type
@@ -5467,10 +5467,10 @@
 \pnum
 The member \grammarterm{typedef-name} \tcode{iterator_category} is declared
 if and only if \exposid{Base} models \libconcept{forward_range}.
-In that case,
+If declared,
 \tcode{\exposid{iterator}::iterator_category} is defined as follows:
 Let \tcode{C} denote the type
-\tcode{iterator_traits<iterator_t<\exposid{Base}>>::iterator_category}.
+\tcode{iterator_traits<iter\-ator_t<\exposid{Base}>>::iterator_category}.
 \begin{itemize}
 \item
 If \tcode{is_reference_v<invoke_result_t<\exposidnc{maybe-const}<Const, F>\&, range_reference_t<\exposid{Base}>>>}
@@ -6884,7 +6884,7 @@
 if and only if \exposid{ref-is-glvalue} is \tcode{true},
 \exposid{Base} models \libconcept{forward_range}, and
 \tcode{range_reference_t<\exposid{Base}>} models \libconcept{forward_range}.
-In that case,
+If declared,
 \tcode{\exposid{iterator}::iter\-ator_category} is defined as follows:
 \begin{itemize}
 \item Let \placeholder{OUTERC} denote
@@ -7456,7 +7456,7 @@
 The member \grammarterm{typedef-name} \tcode{iterator_category} is declared
 if and only if \exposid{ref-is-glvalue} is \tcode{true}, and
 \exposid{Base} and \exposid{InnerBase} each model \libconcept{forward_range}.
-In that case,
+If declared,
 \tcode{\exposid{iterator}::iterator_category} is defined as follows:
 
 \begin{itemize}
@@ -9081,7 +9081,7 @@
 The member \grammarterm{typedef-name} \tcode{iterator_category} is declared
 if and only if
 \tcode{\exposconcept{all-forward}<Const, Views...>} is modeled.
-In that case,
+If declared,
 \tcode{\exposid{iterator}::iterator_category} is defined as follows:
 
 \begin{itemize}
@@ -10402,7 +10402,8 @@
 \pnum
 The member \grammarterm{typedef-name} \tcode{iterator_category} is declared
 if and only if \exposid{Base} models \libconcept{forward_range}.
-In that case, \tcode{iterator_category} is defined as follows:
+If declared,
+\tcode{iterator_category} is defined as follows:
 Let \tcode{C} denote the type
 \tcode{iterator_traits<iterator_t<\exposid{Base}>>::iterator_category}.
 \begin{itemize}
@@ -12218,7 +12219,7 @@
 The member \grammarterm{typedef-name}
 \tcode{\exposid{iterator}::iterator_category}
 is declared if and only if \exposid{Base} models \libconcept{forward_range}.
-In that case,
+If declared,
 \tcode{\exposid{iterator}::iterator_category} is defined as follows:
 \begin{itemize}
 \item
@@ -16214,7 +16215,7 @@
 \pnum
 The member \grammarterm{typedef-name} \tcode{iterator_category} is declared
 if and only if \exposid{Base} models \libconcept{forward_range}.
-In that case,
+If declared,
 \tcode{\exposid{iterator}::iterator_category} is defined as follows:
 \begin{itemize}
 \item