Theorem UniformEmbedding.toClosedEmbedding

Modification history