Theorem isCompact_closure_of_subset_compact

Modification history