Def FormalGroup.Point

Modification history

2026-06-30 06:44
Mathlib/RingTheory/FormalGroup/Basic.lean
feat(FormalGroup): `F(X,0)=X` and `F(0,X)=X` (#38052) …
Modified FormalGroup.PointView on Github →
2026-04-10 07:34
Mathlib/RingTheory/FormalGroup/Basic.lean
feat(RingTheory/FormalGroup): definition and examples of formal group (#35912)
Added FormalGroup.PointView on Github →