Theorem PrimeSpectrum.zeroLocus_vanishingIdeal_eq_closure

Modification history