Skip to content

Commit 5ea86ba

Browse files
author
Quirin Schroll
committed
Errata for 2c2d151
1 parent 2c2d151 commit 5ea86ba

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

errata.tex

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -931,6 +931,10 @@
931931
& 1270-g3f17b85
932932
& 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$.\\
933933
%
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+
%
934938
\cref{sec:surreals}
935939
& 1189-ga9c35f0
936940
& 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

Comments
 (0)