Theorem PowerSeries.zero_inv

Modification history