Syntax definition cnmhm

Description: The class of normed module homomorphisms.

	Ref	Expression
Assertion	cnmhm	$$class\mathrm{NMHom}$$