Theorem PowerSeries.coeff_one

Modification history