Theorem PowerSeries.coeff_one_mul

Modification history