Theorem PrimeSpectrum.vanishingIdeal_univ

Modification history