Theorem MvPowerSeries.trunc_one

Modification history