Theorem PrimeSpectrum.vanishingIdeal_mem_minimalPrimes

Modification history