Syntax definition crrvec

Description: Syntax for the class of real vector spaces.

	Ref	Expression
Assertion	crrvec	class ℝ-Vec