Theorem IsCompact.exists_isLocalMax_mem_open

Modification history