Corollaire

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

Algebra, chapter X, § 2. Complexes de A-modules

Pour tout morphisme de complexes $u : C' \to C$ , il existe un morphisme injectif de complexes $\tilde{u} : C' \to C_1$ et un homotopisme $\beta : C_1 \to C$ tel que $u = \beta \circ \tilde{u}$ .

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

Cited by

Nothing.

Cites

Nothing.