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 →