Theorem PowerSeries.coeff_rescale

Modification history