From 0c2cd2cf8f56b41f071dad6aba15167c201e6453 Mon Sep 17 00:00:00 2001
From: Aise Johan de Jong <aise.johan.de.jong@gmail.com>
Date: Wed, 17 Apr 2024 11:03:39 -0400
Subject: [PATCH] Fix typo in more-algebra

Thanks to Peng Du
https://stacks.math.columbia.edu/tag/0G1T#comment-8384
---
 more-algebra.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/more-algebra.tex b/more-algebra.tex
index 2657795f..8b936eb2 100644
--- a/more-algebra.tex
+++ b/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