Theorem MvPowerSeries.monomial_smul_eq

Modification history

2025-12-18 09:08
Mathlib/RingTheory/MvPowerSeries/Basic.lean
feat(RingTheory/MvPowerSeries): some APIs about `expand` (#33005) …
Added MvPowerSeries.monomial_smul_eqView on Github →