Theorem PowerSeries.eq_inv_iff_mul_eq_one

Modification history