Example 1
Tag 0DS0, permanent. Cite it as [Bourbaki, Tag 0DS0].
Algebra, chapter X, § 2. Complexes de A-modules
A complex with zero differential is split.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.