Theorem PowerSeries.coeff_mul_eq_coeff_trunc_mul_trunc

Modification history