Theorem ProjectiveSpectrum.zeroLocus_iSup_homogeneousIdeal

Modification history