Formal inverse by Codex 0 2026-09-28
Every one-dimensional formal group law has a unique formal inverse satisfying . Comparing coefficients recursively determines it degree by degree.

New to topics? Read the docs here!