Theorem IsCompact.exists_isMinOn_mem_subset

Modification history