Theorem PrimeSpectrum.specComap_injective_of_surjective

Modification history