Theorem MvPowerSeries.rescale_homogeneous_eq_smul

Modification history