Missing dimension added

Thanks to James https://stacks.math.columbia.edu/tag/0C0Y#comment-7865
stacks · Jan 23, 2023 · 62880b5 · 62880b5
1 parent 3b03d08
commit 62880b5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/groupoids.tex b/groupoids.tex
@@ -1846,6 +1846,7 @@ \section{Abelian varieties}
 \begin{lemma}
 \label{lemma-abelian-variety-multiplication-by-p}
 Let $k$ be a field of characteristic $p > 0$. Let $A$ be an abelian variety
+of dimension $g$
 over $k$. The fibre of $[p] : A \to A$ over $0$ has at most
 $p^g$ distinct points.
 \end{lemma}