Theorem PrimeSpectrum.image_comap_zeroLocus_eq_zeroLocus_comap

Modification history