Merge branch 'master' into patch-2

Author: mikeshulman

errata.tex

@@ -935,6 +935,10 @@
   & % merge of 2c2d15123c917c33d7ea21c14ca08f86f8d93b55
   & In the proof, $|f(x) - f(y_i) < \epsilon$ should be $|f(x) - f(y_i)| < \epsilon$.\\
   %
+  \cref{defn:inductive-cover}
+  & 57-g671b000
+  & In (\cref{defn:inductive-cover-interval-1}), the order of $r$ and $s$ should be flipped on the right-hand side: $(r, s)$ should be $(s, r)$.\\
+  %
   \cref{sec:surreals}
   & 1189-ga9c35f0
   & The inductive case of $\iota_{\Q_D}$ should be defined as $\iota_{\Q_D}(a/2^n) \defeq \surr{\iota_{\Q_D}(a/2^n - 1/2^n)}{\iota_{\Q_D}(a/2^n + 1/2^n)}$.\\

reals.tex

@@ -2315,7 +2315,7 @@ \section{Compactness of the interval}
     \intfam{i}{I}{(\mathcal{F}(i) \cap (s, t))}$.
 
   \item \label{defn:inductive-cover-interval-1}
-    if $q < s < t < r$ then $(q, r) \cover [(q, t), (r, s)]$,
+    if $q < s < t < r$ then $(q, r) \cover [(q, t), (s, r)]$,
 
   \item \label{defn:inductive-cover-interval-2}
     $(q, r) \cover \intfam{u}{\setof{ (s,t) : \Q \times \Q | q < s < t < r}}{u}$.