Merge pull request #1181 from Bolpat/patch-1

Fix typo of m vs M

Author: mikeshulman

errata.tex

@@ -911,6 +911,10 @@
   & 832-g0cb658e
   & In the second paragraph, at ``From this we get'', the universal quantification should be over~$\delta$ as well.\\
   %
+  \cref{sec:constr-cauchy-reals}
+  & % merge of 9b0b4e5424a309ab6657f3583e6300c7072ca487
+  & In the last paragraph of this section, ``$\rclim(\rcrat \circ x \circ m)$'' should be ``$\rclim(\rcrat \circ x \circ M)$''.\\
+  %
   \cref{sec:induct-recurs-cauchy}
   & 1209-g3e5ad94
   & In the statement of $(\RC,\closesym)$-recursion, ``$f(x) : A$'' should be ``$f(\rclim(x)) : A$''.\\

reals.tex

@@ -801,7 +801,7 @@ \subsection{Construction of Cauchy reals}
 \Q$ is a traditional Cauchy sequence\index{Cauchy!sequence} of rational numbers, and let $M : \Qp \to \N$ be its
 modulus of convergence. Then $\rcrat \circ x \circ M : \Qp \to \RC$ is a Cauchy
 approximation, using the first constructor of $\closesym$ to produce the necessary witness.
-Thus, $\rclim(\rcrat \circ x \circ m)$ is a real number. Various famous
+Thus, $\rclim(\rcrat \circ x \circ M)$ is a real number. Various famous
 real numbers such as $\sqrt{2}$, $\pi$, $e$, \dots{} are all limits of such Cauchy sequences of
 rationals.