Lubin%E2%80%93Tate formal group law