Theorem EMetric.NonemptyCompacts.isUniformEmbedding_toCloseds

Modification history