diff -r 045e01f63729 -r 833bd74143a4 text/basic_properties.tex --- a/text/basic_properties.tex Wed Jul 28 11:26:41 2010 -0700 +++ b/text/basic_properties.tex Wed Jul 28 11:33:41 2010 -0700 @@ -87,7 +87,7 @@ Assign to $b$ the acyclic (in positive degrees) subcomplex $T(b) \deq r\bullet\bc_*(S)$. Note that if a diagram $b'$ is part of $\bd b$ then $T(B') \sub T(b)$. Both $f$ and the identity are compatible with $T$ (in the sense of acyclic models), -so $f$ and the identity map are homotopic. \nn{We should actually have a section with a definition of ``compatible" and this statement as a lemma} +so $f$ and the identity map are homotopic. \nn{We should actually have a section \S \ref{sec:moam} with a definition of ``compatible" and this statement as a lemma} \end{proof} For the next proposition we will temporarily restore $n$-manifold boundary