Example 2

Tag 01L7, permanent. Cite it as [Bourbaki, Tag 01L7].

Algebra, chapter VIII, § 2. The Structure of Modules of Finite Length

If A is a left Noetherian ring, then every injective A-module is semiprimordial (X, §1, n $^o9$ , p. 21, proposition 14 and X, §1, n $^o10$ , p. 22, théorème 3, b)). $*$

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

X, §1, n$^o10$, p. 22 not in this corpus: A X
X, §1, n$^o9$, p. 21 not in this corpus: A X