The Theory of Commutative Formal Groups Over Fields of Finite Characteristic | Synapse