Theorem PrimeSpectrum.comap_singleton_isClosed_of_surjective

Modification history