Database
GRAPH THEORY
Vertices and edges
Vertices and indexed edges
Definitions and basic properties
cvtx
Next ⟩
ciedg
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cvtx
Description:
Extend class notation with the vertices of "graphs".
Ref
Expression
Assertion
cvtx
class Vtx