Theorem PowerSeries.eq_mul_inv_iff_mul_eq

Modification history