Theorem PowerSeries.rescale_injective

Modification history