Theorem CompactExhaustion.exists_mem

Modification history