Theorem PowerSeries.inv_eq_inv_aux

Modification history