Theorem FirstOrder.Language.Embedding.ofInjective_toHom

Modification history