Lemma 20.43.7. Let $(X, \mathcal{O}_ X)$ be a ringed space. Let $m \in \mathbf{Z}$. Let $\mathcal{F}^\bullet$ be a (locally) bounded above complex of $\mathcal{O}_ X$-modules such that $\mathcal{F}^ i$ is $(m - i)$-pseudo-coherent for all $i$. Then $\mathcal{F}^\bullet$ is $m$-pseudo-coherent.

Proof. Omitted. Hint: use Lemma 20.43.4 and truncations as in the proof of More on Algebra, Lemma 15.62.10. $\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).