Theorem MvPowerSeries.subst_self

Modification history