Theorem PowerSeries.invUnitsSub_mul_sub

Modification history