Theorem PowerSeries.coeff_zero_mul_X

Modification history