Theorem MvPowerSeries.HasSubst.X_X

Modification history

2026-04-10 07:34
Mathlib/RingTheory/MvPowerSeries/Substitution.lean
feat(RingTheory/FormalGroup): definition and examples of formal group (#35912)
Added MvPowerSeries.HasSubst.X_XView on Github →