cmvh - Mathbox for Mario Carneiro

	Mathbox for Mario Carneiro		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cmvh		Structured version Visualization version GIF version

Syntax Definition cmvh 33334

Description: The set of variable hypotheses.

**Assertion**
Ref	Expression
cmvh	class mVH

See definition df-mvh 33354 for more information.

Colors of variables: wff setvar class