Theorem MvPowerSeries.trunc'_C

Modification history