Theorem FirstOrder.Language.Hom.comp_codRestrict

Modification history