Theorem PrimeSpectrum.le_vanishingIdeal_zeroLocus

Modification history