Lemma 82.7.2. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. For $\mathcal{F}$ a quasi-coherent $\mathcal{O}_ X$-module the maps

$\pi _ X^*\mathcal{F} \longrightarrow R\epsilon _{X, *}(a_ X^*\mathcal{F}) \quad \text{and}\quad \mathcal{F} \longrightarrow Ra_{X, *}(a_ X^*\mathcal{F})$

are isomorphisms.

Proof. This is an immediate consequence of parts (6) and (7) of Lemma 82.7.1. $\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).