Theorem MvPowerSeries.eval₂_C

Modification history