Theorem FirstOrder.Language.Embedding.injective

Modification history