Theorem ProjectiveSpectrum.vanishingIdeal_singleton

Modification history