Theorem PowerSeries.invOneSubPow_inv_zero_eq_one

Modification history