Theorem PrimeSpectrum.localization_comap_injective

Modification history