Theorem MvPowerSeries.constantCoeff_subst_eq_zero

Modification history

2026-01-18 13:18
Mathlib/RingTheory/MvPowerSeries/Substitution.lean
feat(RingTheory/MvPowerSeries): some theorems about expand (#33885)
Added MvPowerSeries.constantCoeff_subst_eq_zeroView on Github →