Metamath Proof Explorer


Syntax definition cnmhm

Description: The class of normed module homomorphisms.

Ref Expression
Assertion cnmhm class NMHom