Theorem isCompact_unionᵢ

Modification history