Theorem FirstOrder.Language.Embedding.toHom_inj

Modification history