magnus/inventory/FreeGroups/homomorphism_homomorphism
