Database
COMPLEX HILBERT SPACE EXPLORER (DEPRECATED)
Axiomatization of complex pre-Hilbert spaces
Basic Hilbert space definitions
ccop
Next ⟩
clo
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
ccop
Description:
Extend class notation with set of continuous Hilbert space operators.
Ref
Expression
Assertion
ccop
class
ContOp