Def FormalGroup.map

Modification history

2026-04-10 07:34

Mathlib/RingTheory/FormalGroup/Basic.lean

feat(RingTheory/FormalGroup): definition and examples of formal group (#35912)

Added FormalGroup.map View on Github →