Theorem MvPowerSeries.rescaleAlgHom_one

Modification history