Theorem UniformEmbedding.embedding

Modification history