Metamath Proof Explorer


Syntax definition cnbgr

Description: Extend class notation with neighbors (of a vertex in a graph).

Ref Expression
Assertion cnbgr class NeighbVtx