Theorem PowerSeries.invUnitsSub_mul_X

Modification history