of -> if

Thanks to Peng Du https://stacks.math.columbia.edu/tag/064N#comment-7919
stacks · Mar 1, 2023 · 66704e4 · 66704e4
1 parent 59ccd5f
commit 66704e4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/more-algebra.tex b/more-algebra.tex
@@ -15050,7 +15050,7 @@ \section{Pseudo-coherent modules, I}
 M \to 0
 \end{equation}
 by finite free $R$-modules. A module is called {\it pseudo-coherent}
-of we can find such a resolution for every $n$. Here is the formal
+if we can find such a resolution for every $n$. Here is the formal
 definition.
 
 \begin{definition}