magnus/inventory/FreeGroups/homomorphism
