Theorem PrimeSpectrum.specComap_id

Modification history