Formal Lie group

Redirect to: