Theorem PowerSeries.rescale_one

Modification history