Mark Errata (auto)

github-actions · github-actions · commit ffeb7cd2a322 · 2025-07-02T16:41:45.000Z
diff --git a/errata.tex b/errata.tex
@@ -932,7 +932,7 @@
   & 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$.\\
   %
   \cref{ctb-uniformly-continuous-sup}
-  & % merge of 2c2d15123c917c33d7ea21c14ca08f86f8d93b55
+  & 61-gce4e391
   & In the proof, $|f(x) - f(y_i) < \epsilon$ should be $|f(x) - f(y_i)| < \epsilon$.\\
   %
   \cref{defn:inductive-cover}

Original file line number	Diff line number	Diff line change
`@@ -932,7 +932,7 @@`
`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`	`934`	`\cref{ctb-uniformly-continuous-sup}`
`935`		`- & % merge of 2c2d15123c917c33d7ea21c14ca08f86f8d93b55`
	`935`	`+ & 61-gce4e391`
`936`	`936`	`& In the proof, $\|f(x) - f(y_i) < \epsilon$ should be $\|f(x) - f(y_i)\| < \epsilon$.\\`
`937`	`937`	`%`
`938`	`938`	`\cref{defn:inductive-cover}`