Theorem PrimeSpectrum.subset_zeroLocus_iff_subset_vanishingIdeal

Modification history