Metamath Proof Explorer


Syntax definition cnmoo

Description: Extend class notation with the class of operator norms on normed complex vector spaces.

Ref Expression
Assertion cnmoo class normOp OLD