Theorem ProjectiveSpectrum.zeroLocus_mul_homogeneousIdeal

Modification history