∫ Утверждение Mathlib
coeff_smul
Mathlib.RingTheory.MvPowerSeries.Basic
URI: https://scilib.ai/kg/mathlib#MvPowerSeries.coeff_smul
∫ Утверждение Mathlib
Mathlib.RingTheory.MvPowerSeries.Basic
URI: https://scilib.ai/kg/mathlib#MvPowerSeries.coeff_smul