Talk:Lubin–Tate formal group law