Theorem FirstOrder.Language.Embedding.coe_injective

Modification history