Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Models of formal systems
cmvl

Next ⟩ cmvsb

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmvl

Description: The set of valuations.

		Ref	Expression
	Assertion	cmvl	$class mVL$