Theorem MvPowerSeries.rescale_linear_eq_smul

Modification history