Database
GRAPH THEORY
Undirected graphs
Neighbors, complete graphs and universal vertices
Universal vertices
cuvtx
Next ⟩
df-uvtx
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cuvtx
Description:
Extend class notation with the universal vertices (in a graph).
Ref
Expression
Assertion
cuvtx
class UnivVtx