Theorem PrimeSpectrum.zeroLocus_anti_mono_ideal

Modification history