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

Next ⟩ cmpst

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cmvh

Description: The set of variable hypotheses.

		Ref	Expression
	Assertion	cmvh	$class mVH$