Theorem EMetric.Closeds.isClosed_subsets_of_isClosed

Modification history