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