Theorem ProjectiveSpectrum.zeroLocus_sup_ideal

Modification history