Database
BASIC TOPOLOGY
Metric spaces
Normed space homomorphisms (bounded linear operators)
cnmo
Next ⟩
cnghm
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cnmo
Description:
The operator norm function.
Ref
Expression
Assertion
cnmo
class normOp