Theorem FirstOrder.Language.Embedding.codRestrict_apply

Modification history