Theorem PrimeSpectrum.sup_vanishingIdeal_le

Modification history