n -> p

Thanks to Jakob Werner https://stacks.math.columbia.edu/tag/01ER#comment-7790
stacks · Jan 18, 2023 · 40a7e3c · 40a7e3c
1 parent 49dc259
commit 40a7e3c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
@@ -490,6 +490,7 @@ John Watterlond
 Rachel Webb
 Torsten Wedhorn
 Dario Weissmann
+Jakob Werner
 Ian Whitehead
 Jonathan Wise
 Junho Won

diff --git a/cohomology.tex b/cohomology.tex
@@ -1525,8 +1525,8 @@ \section{{\v C}ech cohomology and cohomology}
 of the complex $\mathcal{I}^\bullet$. In other words, the
 sections of $R^pi(\mathcal{F})$ over an open $U$ are given by
 $$
-\frac{\Ker(\mathcal{I}^n(U) \to \mathcal{I}^{n + 1}(U))}
-{\Im(\mathcal{I}^{n - 1}(U) \to \mathcal{I}^n(U))}.
+\frac{\Ker(\mathcal{I}^p(U) \to \mathcal{I}^{p + 1}(U))}
+{\Im(\mathcal{I}^{p - 1}(U) \to \mathcal{I}^p(U))}.
 $$
 which is the definition of $H^p(U, \mathcal{F})$.
 \end{proof}