Dimension of a formal group law

Definition
The dimension of a defining ingredient::formal group law is the number of coordinates used for each variable in the description of the law. It is part of the definition of formal group law.