Theorem FirstOrder.Language.Embedding.comp_apply

Modification history