Theorem PowerSeries.invOneSubPow_zero

Modification history