Lemma 20.26.8. Let $(X, \mathcal{O}_ X)$ be a ringed space. A bounded above complex of flat $\mathcal{O}_ X$-modules is K-flat.

Proof. We can check this on stalks, see Lemma 20.26.4. Thus this lemma follows from Modules, Lemma 17.16.2 and More on Algebra, Lemma 15.57.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).