Automated merge with https://tqft.net/hg/blob/
authorScott Morrison <scott@tqft.net>
Tue, 09 Aug 2011 23:01:20 -0700
changeset 863 6f5e8563f3e2
parent 861 84bb5ab4c85c (current diff)
parent 862 9020b09ddc63 (diff)
child 864 296fcf7e5914
Automated merge with https://tqft.net/hg/blob/
--- a/text/a_inf_blob.tex	Tue Aug 09 19:28:39 2011 -0600
+++ b/text/a_inf_blob.tex	Tue Aug 09 23:01:20 2011 -0700
@@ -119,7 +119,7 @@
 the case.
 (Consider the $x$-axis and the graph of $y = e^{-1/x^2} \sin(1/x)$ in $\r^2$.)
 However, we {\it can} find another decomposition $L$ such that $L$ shares common
-refinements with both $K$ and $K'$. (For instance, in the example above, $L$ can be the graph of $y=x^2+1$.)
+refinements with both $K$ and $K'$. (For instance, in the example above, $L$ can be the graph of $y=x^2-1$.)
 This follows from Axiom \ref{axiom:vcones}, which in turn follows from the
 splitting axiom for the system of fields $\cE$.
 Let $KL$ and $K'L$ denote these two refinements.