Theorem ProjectiveSpectrum.subset_vanishingIdeal_zeroLocus

Modification history