Proposition 10
Tag 0DSR, permanent. Cite it as [Bourbaki, Tag 0DSR].
Algebra, chapter X, § 2. Complexes de A-modules
Let C and C' be two bounded complexes of type . If there exists a homologism , one has . Indeed, Con () is bounded of type and one has ; on the other hand, by X, p. 38, cor., hence (lemma 4).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.