Theorem PrimeSpectrum.isClosed_range_comap_of_surjective

Modification history