Syntax definition cnm

Description: Norm of a normed ring.

	Ref	Expression
Assertion	cnm	$$class\mathrm{norm}$$