Theorem IsCompact.exists_isGreatest

Modification history