Database
GRAPH THEORY
Vertices and edges
The edge function extractor for extensible structures
Next ⟩
cedgf
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 16.1.1. The edge function extractor for extensible structures
cedgf
df-edgf
edgfid
edgfndx
edgfndxnn
edgfndxid
baseltedgf
slotsbaseefdif