Theorem IsCompact.exists_isLocalMinOn_mem_subset

Modification history