Theorem PrimeSpectrum.vanishingIdeal_singleton

Modification history