 Formal group exponential

The formal group exponential is the compositional inverse of the formal logarithm. On a sufficiently small neighborhood over a characteristic-zero local field, both series converge and identify the formal group with the additive group.