Theorem MvPowerSeries.map.isLocalHom

Modification history