Theorem PowerSeries.invOneSubPow_inv_eq_one_of_eq_zero

Modification history