Theorem MvPowerSeries.rescale_mul

Modification history