Introduction to the theory of formal groups. (2020)