Theorem MvPowerSeries.smul_inv

Modification history