Lemma 20.49.8. Let (X, \mathcal{O}_ X) be a ringed space. If K, L are perfect objects of D(\mathcal{O}_ X), then so is K \otimes _{\mathcal{O}_ X}^\mathbf {L} L.
Lemma 20.49.8. Let (X, \mathcal{O}_ X) be a ringed space. If K, L are perfect objects of D(\mathcal{O}_ X), then so is K \otimes _{\mathcal{O}_ X}^\mathbf {L} L.
Proof. Follows from Lemmas 20.49.5, 20.47.5, and 20.48.7. \square
Comments (0)
There are also: