Theorem PowerSeries.coeff_inv

Modification history