Metamath Proof Explorer

Table of Contents - 20.43.15.4. Edges of graphs expressed as sets of unordered pairs

1. upgredgssspr
2. uspgropssxp
3. uspgrsprfv
4. uspgrsprf
5. uspgrsprf1
6. uspgrsprfo
7. uspgrsprf1o
8. uspgrex
9. uspgrbispr
10. uspgrspren
11. uspgrymrelen
12. uspgrbisymrel
13. uspgrbisymrelALT