Database
BASIC TOPOLOGY
Metric subcomplex vector spaces
Subcomplex vector spaces
ccvs
Next ⟩
df-cvs
Metamath Proof Explorer
Unicode
Structured
Syntax definition
ccvs
Description:
Syntax for the class of subcomplex vector spaces.
Ref
Expression
Assertion
ccvs
class CVec