Theorem MvPowerSeries.HasSubst.cons_subst_zero_left

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.cons_subst_zero_leftView on Github →