Syntax definition ctvc

Description: The class of all topological vector spaces.

	Ref	Expression
Assertion	ctvc	class TopVec