Theorem MvPowerSeries.trunc_C

Modification history