Theorem isSigmaCompact_empty

Modification history