Theorem Equiv.uniformEmbedding

Modification history