Theorem MvPowerSeries.X_pow_mul

Modification history