Theorem ProjectiveSpectrum.le_iff_mem_closure

Modification history