Theorem MvPowerSeries.hasSubst_X

Modification history