Theorem PrimeSpectrum.vanishingIdeal_isClosed_isIrreducible

Modification history