Theorem isCompact_iUnion

Modification history