Database
COMPLEX TOPOLOGICAL VECTOR SPACES (DEPRECATED)
Normed complex vector spaces
Definition and basic properties
cn0v
Next ⟩
cnsb
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cn0v
Description:
Extend class notation with zero vector in a normed complex vector space.
Ref
Expression
Assertion
cn0v
class
0
vec