Theorem IsSigmaCompact.of_isClosed_subset

Modification history