an -> a

Thanks to Heiko Braun https://stacks.math.columbia.edu/tag/0FND#comment-7791
stacks · Jan 18, 2023 · 96ec50d · 96ec50d
1 parent 40a7e3c
commit 96ec50d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/CONTRIBUTORS b/CONTRIBUTORS
@@ -42,6 +42,7 @@ Chris Birkbeck
 Ingo Blechschmidt
 Juhani Bonsdorff
 Mark Bowron
+Heiko Braun
 Lucas Braune
 Thomas Brazelton
 Giulio Bresciani

diff --git a/derived.tex b/derived.tex
@@ -9381,7 +9381,7 @@ \section{Deriving adjoints}
 \end{lemma}
 
 \begin{proof}
-Since $RF$ is defined at $K$, we see that the rule which assigns to a
+Since $RF$ is defined at $K$, we see that the rule which assigns to an
 $s : K \to I$ in $S$ the object $F(I)$ is essentially
 constant as an ind-object of $(S')^{-1}\mathcal{D}'$ with value $RF(K)$.
 Similarly, the rule which assigns to a $t : P \to M$ in $S'$