Theorem PrimeSpectrum.localization_comap_embedding

Modification history