Theorem FirstOrder.Language.Embedding.toHom_injective

Modification history