Theorem FirstOrder.Language.Hom.subtype_comp_codRestrict

Modification history