Database
COMPLEX TOPOLOGICAL VECTOR SPACES (DEPRECATED)
Complex Hilbert spaces
Definition and basic properties
chlo
Next ⟩
df-hlo
Metamath Proof Explorer
Ascii
Structured
Syntax definition
chlo
Description:
Extend class notation with the class of all complex Hilbert spaces.
Ref
Expression
Assertion
chlo
class
CHil
_{OLD}