Theorem PrimeSpectrum.vanishingIdeal_anti_mono

Modification history