Theorem ProjectiveSpectrum.coe_vanishingIdeal

Modification history