Theorem PrimeSpectrum.vanishingIdeal_isIrreducible

Modification history