Metamath Proof Explorer


Syntax definition cvtx

Description: Extend class notation with the vertices of "graphs".

Ref Expression
Assertion cvtx
class Vtx