Example
Tag 0A4B, permanent. Cite it as [Bourbaki, Tag 0A4B].
Lie Groups and Lie Algebras, chapter II, § 3. Enveloping algebra of the free Lie algebra
We have
c(1)c(4)=n,=41(n4−n2),c(2)c(5)=21(n2−n),=51(n5−n),c(3)c(6)=31(n3−n),=61(n6−n3−n2+n).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.