Theorem FirstOrder.Language.Embedding.subtype_comp_codRestrict

Modification history