Theorem MvPowerSeries.coeff_smul

Modification history