Theorem IsCompact.isClosed

Modification history