Remove a, b

Thanks to Peng Du https://stacks.math.columbia.edu/tag/068T#comment-7918
stacks · Feb 28, 2023 · 983aa5f · 983aa5f
1 parent f84d396
commit 983aa5f
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/more-algebra.tex b/more-algebra.tex
@@ -18236,10 +18236,9 @@ \section{Perfect complexes}
 
 \begin{lemma}
 \label{lemma-flat-descent-perfect}
-Let $R$ be a ring. Let $a, b \in \mathbf{Z}$. Let $K^\bullet$
-be a complex of $R$-modules. Let $R \to R'$ be a faithfully flat
-ring map. If the complex $K^\bullet \otimes_R R'$ is perfect, then
-$K^\bullet$ is perfect.
+Let $R$ be a ring. Let $K^\bullet$ be a complex of $R$-modules.
+Let $R \to R'$ be a faithfully flat ring map. If the complex
+$K^\bullet \otimes_R R'$ is perfect, then $K^\bullet$ is perfect.
 \end{lemma}
 
 \begin{proof}