Theorem PrimeSpectrum.isRadical_vanishingIdeal

Modification history