Theorem PowerSeries.invOfUnit_mul

Modification history