Theorem MvPowerSeries.hasSubst_smul

Modification history