Theorem PowerSeries.coeff_one_X

Modification history