Metamath Proof Explorer


Syntax definition cmvrs

Description: The variables in an expression.

Ref Expression
Assertion cmvrs class mVars