Syntax definition ctng

Description: Make a normed group from a norm and a group.

	Ref	Expression
Assertion	ctng	$$class\mathrm{toNrmGrp}$$