Lemma 5
Tag 0DSV, permanent. Cite it as [Bourbaki, Tag 0DSV].
Algebra, chapter X, § 2. Complexes de A-modules
Let be an exact sequence of -modules. If is stable, and if and are of type , the module is of type . Set and . The modules and are of type , and one has an exact sequence .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.