Lemma 74.5.6. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. For objects $K, L$ of $D_\mathit{QCoh}(\mathcal{O}_ X)$ the derived tensor product $K \otimes ^\mathbf {L} L$ is in $D_\mathit{QCoh}(\mathcal{O}_ X)$.

Proof. Let $\varphi : U \to X$ be a surjective étale morphism from a scheme $U$. Since $\varphi ^*(K \otimes _{\mathcal{O}_ X}^\mathbf {L} L) = \varphi ^*K \otimes _{\mathcal{O}_ U}^\mathbf {L} \varphi ^*L$ we see from Lemma 74.5.2 that this follows from the case of schemes which is Derived Categories of Schemes, Lemma 36.3.9. $\square$

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).