Lemma 20.46.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$.

There are also:

• 2 comment(s) on Section 20.46: Perfect complexes

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).