 Invertible morphism criterion for formal group laws

A morphism $h(T)=uT+O(T^2)$ of one-dimensional formal group laws over a ring is an isomorphism when $u$ is a unit. Recursive coefficient comparison constructs its compositional inverse, and the morphism identity shows that this inverse is also a formal-group morphism.