Database
COMPLEX TOPOLOGICAL VECTOR SPACES (DEPRECATED)
Complex vector spaces
Definition and basic properties
cvc
Next ⟩
df-vc
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cvc
Description:
Extend class notation with the class of all complex vector spaces.
Ref
Expression
Assertion
cvc
class
CVec
OLD