Metamath Proof Explorer


Syntax definition cmvt

Description: The set of variable typecodes.

Ref Expression
Assertion cmvt
class mVT