Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Metamath formal systems
cmvrs

Next ⟩ cmrsub

Metamath Proof Explorer

Ascii
Structured

Syntax definition cmvrs

Description: The variables in an expression.

		Ref	Expression
	Assertion	cmvrs	class mVars