Add an internal reference

Thanks to David Savitt http://stacks.math.columbia.edu/tag/00O7#comment-2235
stacks · Nov 3, 2016 · 0c616a8 · 0c616a8
1 parent e3fc2e5
commit 0c616a8
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/algebra.tex b/algebra.tex
@@ -25319,8 +25319,9 @@ \section{Regular rings and global dimension}
 \end{proposition}
 
 \begin{proof}
-This is clear in view of Lemma \ref{lemma-regular-mcm-free}
-and Lemma \ref{lemma-mcm-resolution}.
+The first part holds in view of Lemma \ref{lemma-regular-mcm-free}
+and Lemma \ref{lemma-mcm-resolution}. The last part follows from this
+and Lemma \ref{lemma-finite-gl-dim}.
 \end{proof}
 
 \begin{lemma}