diff -r c5a35886cd82 -r 93ce0ba3d2d7 text/comm_alg.tex --- 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