Theorem MvPowerSeries.invOfUnit_eq

Modification history