Corollaire
Tag 0DRR, permanent. Cite it as [Bourbaki, Tag 0DRR].
Algebra, chapter X, § 2. Complexes de A-modules
A morphism homotopic to a homology isomorphism is a homology isomorphism.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.