
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




