Theorem MvPowerSeries.trunc'_C_mul

Modification history