Theorem isSigmaCompact_sUnion

Modification history