Theorem PrimeSpectrum.mem_vanishingIdeal

Modification history