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

Next ⟩ cmtc

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmvt

Description: The set of variable typecodes.

		Ref	Expression
	Assertion	cmvt	$class mVT$