Theorem EMetric.controlled_of_uniformEmbedding

Modification history