Syntax definition ctvc

Description: The class of all topological vector spaces.

	Ref	Expression
Assertion	ctvc	$$class\mathrm{TopVec}$$