Theorem PrimeSpectrum.specComap_asIdeal

Modification history