Theorem PowerSeries.coeff_mul_X_pow'

Modification history