Database
GRAPH THEORY
Undirected graphs
Vertex degree
cvtxdg
Next ⟩
df-vtxdg
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cvtxdg
Description:
Extend class notation with the vertex degree function.
Ref
Expression
Assertion
cvtxdg
class
VtxDeg