Def PrimeSpectrum.comap

Modification history