Theorem MvPowerSeries.trunc'_one

Modification history