Theorem ProjectiveSpectrum.subset_zeroLocus_vanishingIdeal

Modification history