Theorem MvPowerSeries.hasSubst_mul

Modification history