Database
COMPLEX TOPOLOGICAL VECTOR SPACES (DEPRECATED)
Operators on complex vector spaces
Definitions and basic properties
cnmoo
Next ⟩
cblo
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cnmoo
Description:
Extend class notation with the class of operator norms on normed complex vector spaces.
Ref
Expression
Assertion
cnmoo
$${class}{normOp}_{\mathrm{OLD}}$$