Metamath Proof Explorer


Syntax definition cnmo

Description: The operator norm function.

Ref Expression
Assertion cnmo
class normOp