Theorem ProjectiveSpectrum.homogeneousIdeal_le_vanishingIdeal_zeroLocus

Modification history