Theorem PowerSeries.invOneSubPow_inv_eq_one_sub_pow

Modification history