Theorem IsCompact.isSigmaCompact

Modification history