Theorem PowerSeries.coeff_mul_eq_coeff_trunc_mul_trunc₂

Modification history