Height of a formal group law