Theorem PowerSeries.coeff_X_pow

Modification history