Theorem PowerSeries.invOneSubPow_eq_inv_one_sub_pow

Modification history