Metamath Proof Explorer


Syntax definition cnghm

Description: The class of normed group homomorphisms.

Ref Expression
Assertion cnghm
class NGHom