Grp, groups and group homomorphisms.
Grp , ομάδες και ομομορφισμοί ομάδων.