Theorem MvPowerSeries.hasSubst_zero

Modification history