Proposition 2
Tag 0A2V, permanent. Cite it as [Bourbaki, Tag 0A2V].
Lie Groups and Lie Algebras, chapter II, § 2. Free Lie algebras
Let X and Y be two sets. Every mapping can be extended uniquely to a Lie algebra homomorphism . For every mapping , .
The existence and uniqueness of follow from Proposition 1 of no. 2. The homomorphisms and have the same restriction to X and hence are equal (Proposition 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.