p -> n

Thanks to David Benjamin Lim https://stacks.math.columbia.edu/tag/0DEL#comment-7939
stacks · Mar 2, 2023 · 7aa6d86 · 7aa6d86
1 parent f12b5d4
commit 7aa6d86
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/formal-spaces.tex b/formal-spaces.tex
@@ -7578,7 +7578,7 @@ \section{The structure sheaf}
 H^n(0 \to A^\wedge \to B^\wedge \to (B \otimes_A B)^\wedge
 \to (B \otimes_A B \otimes_A B)^\wedge \to \ldots)
 $$
-is zero for $p > 0$. To see what is going on, let's split our
+is zero for $n > 0$. To see what is going on, let's split our
 exact complex (before completion) into short exact sequences
 $$
 0 \to A \to B \to M_1 \to 0,\quad