text/evmap.tex
changeset 402 853376c08d76
parent 400 a02a6158f3bd
child 413 d62402fc028e
--- a/text/evmap.tex	Sat Jun 26 17:22:53 2010 -0700
+++ b/text/evmap.tex	Sun Jun 27 12:28:06 2010 -0700
@@ -228,7 +228,7 @@
 We have $\deg(p'') = 0$ and, inductively, $f'' = p''(b'')$.
 %We also have that $\deg(b'') = 0 = \deg(p'')$.
 Choose $x' \in \bc_*(p(V))$ such that $\bd x' = f'$.
-This is possible by \ref{bcontract}, \ref{disjunion} and the fact that isotopic fields
+This is possible by Properties \ref{property:disjoint-union} and \ref{property:contractibility}  and the fact that isotopic fields
 differ by a local relation \nn{give reference?}.
 Finally, define
 \[