Example 1

Tag 0DCN, permanent. Cite it as [Bourbaki, Tag 0DCN].

If M is injective, the A-module $H_A^i(M)$ is zero for $i > 0$ and injective for $i = 0$ (§ 8, No. 2, lemma 1, c)).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.