Theorem IsCompact.exists_isLUB

Modification history