Lemma 15.59.2. Let $R$ be a ring. Let $K^\bullet $ be a K-flat complex. Then the functor

\[ K(R) \longrightarrow K(R), \quad L^\bullet \longmapsto \text{Tot}(L^\bullet \otimes _ R K^\bullet ) \]

transforms quasi-isomorphisms into quasi-isomorphisms.

## Comments (0)

There are also: