Definition 3

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

Lie Groups and Lie Algebras, chapter II, § 2. Free Lie algebras

A Hall basis of a free Lie algebra $L(X)$ is any basis of $L(X)$ which is the canonical image of a Hall set relative to $X$ .

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

Cited by

Nothing.

Nothing.