Theorem MvPowerSeries.coeff_mul_eq_coeff_trunc'_mul_trunc'

Modification history