Database
COMPLEX TOPOLOGICAL VECTOR SPACES (DEPRECATED)
Normed complex vector spaces
Definition and basic properties
cnv
Next ⟩
cpv
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cnv
Description:
Extend class notation with the class of all normed complex vector spaces.
Ref
Expression
Assertion
cnv
class NrmCVec