Metamath Proof Explorer


Syntax definition cuvtx

Description: Extend class notation with the universal vertices (in a graph).

Ref Expression
Assertion cuvtx
class UnivVtx