Metamath Proof Explorer

Syntax definition ccvs

Description: Syntax for the class of subcomplex vector spaces.

Ref Expression
Assertion ccvs 
class CVec