Theorem RelEmbedding.injective

Modification history