Def FormalGroup.𝔾ₘ

Modification history

2026-04-10 07:34
Mathlib/RingTheory/FormalGroup/Basic.lean
feat(RingTheory/FormalGroup): definition and examples of formal group (#35912)
Added FormalGroup.𝔾ₘView on Github →