Lemma 21.25.2. In Situation 21.25.1 for any E \in D_\mathcal {A}(\mathcal{O}) the map E \to R\mathop{\mathrm{lim}}\nolimits \tau _{\geq -n} E of Derived Categories, Remark 13.34.4 is an isomorphism in D(\mathcal{O}).
This is [Proposition 2.1.4, six-I] with slightly changed hypotheses; it is the analogue of [Proposition 3.13, Spaltenstein] for sites.
Proof. Follows immediately from Lemma 21.23.8. \square
Comments (0)