Theorem ProjectiveSpectrum.mem_vanishingIdeal

Modification history