Include change in errata.tex

Bolpat · Quirin Schroll · commit 3a46988a1ce1 · 2025-06-27T20:55:38.000+02:00
diff --git a/errata.tex b/errata.tex
@@ -912,6 +912,10 @@
   & In the second paragraph, at ``From this we get'', the universal quantification should be over~$\delta$ as well.\\
   %
   \cref{sec:induct-recurs-cauchy}
+  & % merge of 9b0b4e5424a309ab6657f3583e6300c7072ca487
+  & In the last paragraph of section \cref{sec:constr-cauchy-reals}, ``$\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$''.\\
   %

Original file line number	Diff line number	Diff line change
`@@ -912,6 +912,10 @@`
`912`	`912`	& In the second paragraph, at ``From this we get'', the universal quantification should be over~$\delta$ as well.\\
`913`	`913`	`%`
`914`	`914`	`\cref{sec:induct-recurs-cauchy}`
	`915`	`+ & % merge of 9b0b4e5424a309ab6657f3583e6300c7072ca487`
	`916`	+ & In the last paragraph of section \cref{sec:constr-cauchy-reals}, ``$\rclim(\rcrat \circ x \circ m)$'' should be ``$\rclim(\rcrat \circ x \circ M)$''.\\
	`917`	`+ %`
	`918`	`+ \cref{sec:induct-recurs-cauchy}`
`915`	`919`	`& 1209-g3e5ad94`
`916`	`920`	& In the statement of $(\RC,\closesym)$-recursion, ``$f(x) : A$'' should be ``$f(\rclim(x)) : A$''.\\
`917`	`921`	`%`