Theorem PowerSeries.map.isLocalHom

Modification history