Metamath Proof Explorer

Table of Contents - 17.1.2.2. The vertices and edges of a graph represented as ordered pair

1. opvtxval
2. opvtxfv
3. opvtxov
4. opiedgval
5. opiedgfv
6. opiedgov
7. opvtxfvi
8. opiedgfvi