Def FreeGroup.norm

Modification history