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

Next ⟩ cmty

Metamath Proof Explorer

Unicode
Structured

Syntax definition cmvar

Description: The set of variables.

		Ref	Expression
	Assertion	cmvar	class mVR