Corollary
Tag 0DST, permanent. Cite it as [Bourbaki, Tag 0DST].
Algebra, chapter X, § 2. Complexes de A-modules
If is stable and is bounded of type , the graded module is bounded of type and one has .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.