Theorem isSigmaCompact_range

Modification history