Theorem PowerSeries.C_inv

Modification history