Theorem EMetric.subset_countable_closure_of_compact

Modification history