Example
Tag 0ANI, permanent. Cite it as [Bourbaki, Tag 0ANI].
Lie Groups and Lie Algebras, chapter IV, § 2. Tits Systems
Th. 2, applied to the Tits system described in no. 2, shows that the symmetric group , with the set of transpositions of consecutive elements, is a Coxeter group.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.