Database
COMPLEX TOPOLOGICAL VECTOR SPACES (DEPRECATED)
Complex Banach spaces
Definition and basic properties
ccbn
Next ⟩
df-cbn
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ccbn
Description:
Extend class notation with the class of all complex Banach spaces.
Ref
Expression
Assertion
ccbn
class CBan