Theorem PrimeSpectrum.vanishingIdeal_closure

Modification history