Theorem IsCompact.nonempty_iInter_of_sequence_nonempty_isCompact_isClosed

Modification history