Syntax definition ccvs

Description: Syntax for the class of subcomplex vector spaces.

	Ref	Expression
Assertion	ccvs	$$class\mathrm{ℂVec}$$