Theorem IsCompact.exists_isMaxOn_mem_subset

Modification history