Theorem PrimeSpectrum.le_iff_mem_closure

Modification history