Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Metamath formal systems
cmvrs
Next ⟩
cmrsub
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cmvrs
Description:
The variables in an expression.
Ref
Expression
Assertion
cmvrs
class
mVars