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: