Lemma 38.43.3. Let X, D, \mathcal{I}, M be as in Situation 38.43.1. If (X, D, M) is a good triple, then L\eta _\mathcal {I}M is a perfect object of D(\mathcal{O}_ X).
Proof. Translation of More on Algebra, Lemma 15.96.5. To do the translation use Lemma 38.42.2. \square
Comments (0)