Theorem PrimeSpectrum.subset_vanishingIdeal_zeroLocus

Modification history