Theorem PrimeSpectrum.subset_zeroLocus_vanishingIdeal

Modification history