Example 1

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

Lie Groups and Lie Algebras, chapter VI, § 3. Exponential invariants

We can take $x_i = S(e^{\overline{\omega}_i})$ .

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

Cited by

Nothing.

Nothing.