Theorem FirstOrder.Language.Embedding.comp_toHom

Modification history