Example
Tag 09X3, permanent. Cite it as [Bourbaki, Tag 09X3].
Lie Groups and Lie Algebras, chapter I, § 4. Nilpotent Lie algebras
The algebra (§ 1, no. 2, Example 2 (3)) is nilpotent.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.