Metamath Proof Explorer


Syntax definition cmvh

Description: The set of variable hypotheses.

Ref Expression
Assertion cmvh class mVH