Theorem PowerSeries.rescale_X

Modification history