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

Next ⟩ cmvrs

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmdv

Description: The set of distinct variables.

		Ref	Expression
	Assertion	cmdv	$class mDV$