Theorem IsCompact.of_isClosed_subset

Modification history