Theorem PowerSeries.invOfUnit_eq'

Modification history