Theorem isCompact_of_isClosed_subset

Modification history