Metamath Proof Explorer


Syntax definition cmvar

Description: The set of variables.

Ref Expression
Assertion cmvar class mVR