Theorem PrimeSpectrum.vanishingIdeal_iUnion

Modification history