Theorem PowerSeries.coeff_succ_mul_X

Modification history