Theorem PowerSeries.rescale_mk

Modification history