Definition 3
Tag 0A24, permanent. Cite it as [Bourbaki, Tag 0A24].
Lie Groups and Lie Algebras, chapter II, § 1. Enveloping bigebra of a Lie algebra
The bigebra (U, c) is called the enveloping bigebra of the Lie algebra g.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.