FIXUP: Fix punctuation and formatting, and apply missing edit

Author: burblebee

source/iterators.tex

@@ -2415,8 +2415,8 @@
 
 \pnum
 To implement algorithms taking projections,
-it is necessary to determine the projected type of an iterators value type.
-The exposition-only alias template \tcode{indirect-value-t<T>} denotes
+it is necessary to determine the projected type of an iterator's value type.
+The exposition-only alias template \tcode{\exposid{indirect-value-t}<T>} denotes
 \begin{itemize}
 \item
 \tcode{invoke_result_t<Proj\&, \exposid{indirect-value-t}<I>>}
@@ -2479,7 +2479,7 @@
       @\libconcept{copy_constructible}@<F> &&
       @\libconcept{equivalence_relation}@<F&, @\exposid{indirect-value-t}@<I1>, @\exposid{indirect-value-t}@<I2>> &&
       @\libconcept{equivalence_relation}@<F&, @\exposid{indirect-value-t}@<I1>, iter_reference_t<I2>> &&
-      @\libconcept{equivalence_relation}@<F&, iter_reference_t<I1>, iter_value_t<I2>&> &&
+      @\libconcept{equivalence_relation}@<F&, iter_reference_t<I1>, @\exposid{indirect-value-t}@<I2>&> &&
       @\libconcept{equivalence_relation}@<F&, iter_reference_t<I1>, iter_reference_t<I2>> &&
       @\libconcept{equivalence_relation}@<F&, iter_common_reference_t<I1>, iter_common_reference_t<I2>>;