Theorem PowerSeries.coeff_mul_C

Modification history