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