Corollary 2

Tag 0DVA, permanent. Cite it as [Bourbaki, Tag 0DVA].

Let $\mathbf N$ be a flat left $A$ -module. For every complex $C$ of right $A$ -modules, the canonical homomorphisms

\gamma_n(C,\mathbf N): H_n(C)\otimes_A \mathbf N \longrightarrow H_n(C\otimes_A \mathbf N)

are bijective.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.