Let $k$ be a field of characteristic zero. Wikipedia states that the natural functor from finite-dimensional formal group laws over $k$ to finite-dimensional Lie algebras over $k$ is an equivalence of categories but does not provide a reference, and I'm not sure where to find one. Does anyone know of one?


(Not really sure how to tag this. I am not necessarily interested in any particular application.)



Reference request: equivalence of formal group laws and Lie algebras in characteristic zero
This follows from the [Baker--Campbell--Hausdorf formula](http://en.wikipedia.org/wiki/Baker%E2%80%93Campbell%E2%80%93Hausdorff_formula). Serre's lecture notes on Lie algebras and Lie groups should cover it.


