Example 2
Tag 00PG, permanent. Cite it as [Bourbaki, Tag 00PG].
Algebra, VIII, p. 441, Appendix 1. Algebras without Unit Element
Let A be a pseudoring in which all elements are nilpotent. The radical of A is equal to A because A is the only regular left ideal.
Proposition 5 immediately implies the following result.
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.