changeset 437 | 93ce0ba3d2d7 |
parent 400 | a02a6158f3bd |
child 438 | 0d62ea7c653d |
--- a/text/comm_alg.tex Mon Jul 12 17:29:25 2010 -0600 +++ b/text/comm_alg.tex Wed Jul 14 11:06:11 2010 -0600 @@ -100,7 +100,7 @@ \begin{proof} The actions agree in degree 0, and both are compatible with gluing. -(cf. uniqueness statement in \ref{CHprop}.) +(cf. uniqueness statement in Theorem \ref{thm:CH}.) \end{proof} \medskip