Theorem PrimeSpectrum.localization_specComap_injective

Modification history