Theorem EMetric.countable_closure_of_compact

Modification history