Metamath Proof Explorer

Syntax definition crrvec

Description: Syntax for the class of real vector spaces.

Ref Expression
Assertion crrvec 
class RRVec