Lemma 21.47.7. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. If $K, L$ are perfect objects of $D(\mathcal{O})$, then so is $K \otimes _\mathcal {O}^\mathbf {L} L$.
Lemma 21.47.7. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. If $K, L$ are perfect objects of $D(\mathcal{O})$, then so is $K \otimes _\mathcal {O}^\mathbf {L} L$.
Proof. Follows from Lemmas 21.47.4, 21.45.5, and 21.46.7. $\square$
Comments (0)