Theorem IsCompact.exists_local_min_mem_open

Modification history