Def Mathlib.Tactic.elabNamePowerSeriesVariablesOver

Modification history

2026-04-10 07:34

Mathlib/Tactic/Ring/NamePowerVars.lean

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

Added Mathlib.Tactic.elabNamePowerSeriesVariablesOver View on Github →