You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: errata.tex
+4Lines changed: 4 additions & 0 deletions
Original file line number
Diff line number
Diff line change
@@ -931,6 +931,10 @@
931
931
& 1270-g3f17b85
932
932
& In the proof, $n : \N$ should be $k : \N$. And the range of $i$ should be $0\leq i \leq k$. Also in the last equation, $r(\lim x) = \ell$ should be $\lim x = \ell$.\\
933
933
%
934
+
\cref{ctb-uniformly-continuous-sup}
935
+
& % merge of 2c2d15123c917c33d7ea21c14ca08f86f8d93b55
936
+
& In the proof, $|f(x) − f(y_i) < \epsilon$ should be $|f(x) − f(y_i)| < \epsilon$.\\
937
+
%
934
938
\cref{sec:surreals}
935
939
& 1189-ga9c35f0
936
940
& 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)}$.\\
0 commit comments