Example
Tag 0A20, permanent. Cite it as [Bourbaki, Tag 0A20].
Lie Groups and Lie Algebras, chapter II, § 1. Enveloping bigebra of a Lie algebra
Let be a graded bigebra (Algebra, Chapter III, § 11, no. 4, Definition 3) and its graduation. We write . The sequence is a filtration compatible with the bigebra structure on .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.