Fix typo in more-algebra

Thanks to Peng Du
https://stacks.math.columbia.edu/tag/0G1T#comment-8384

more-algebra.tex

@@ -23186,7 +23186,7 @@ \section{Torsion modules}
 \begin{lemma}
 \label{lemma-derived-vanishing-mod-I}
 Let $R$ be a ring. Let $I \subset R$ be an ideal. Let $K$ be an object of
-$D(R)$ such hat $K \otimes_R^\mathbf{L} R/I = 0$ in $D(R)$. Then
+$D(R)$ such that $K \otimes_R^\mathbf{L} R/I = 0$ in $D(R)$. Then
 \begin{enumerate}
 \item $K \otimes_R^\mathbf{L} R/I^n = 0$ for all $n \geq 1$,
 \item $K \otimes_R^\mathbf{L} N = 0$ for any $I$-power torsion