Lubin–Tate change of series (source code)

= Lubin–Tate change of series
{c}

If $f$ and $g$ are Lubin–Tate series for the same <uniformizer>, there is a unique strict isomorphism $h:\mathcal F_f\to\mathcal F_g$ satisfying $h\circ f=g\circ h$ and $h(X)\equiv X\pmod{X^2}$.