Theorem PrimeSpectrum.preimage_comap_zeroLocus

Modification history