Theorem FirstOrder.Language.Embedding.domRestrict_apply

Modification history