Metamath Proof Explorer


Table of Contents - 16.1.2.3. The vertices and edges of a graph represented as extensible structure

  1. funvtxdmge2val
  2. funiedgdmge2val
  3. funvtxdm2val
  4. funiedgdm2val
  5. funvtxval0
  6. basvtxval
  7. edgfiedgval
  8. funvtxval
  9. funiedgval
  10. structvtxvallem
  11. structvtxval
  12. structiedg0val
  13. structgrssvtxlem
  14. structgrssvtx
  15. structgrssiedg
  16. struct2grstr
  17. struct2grvtx
  18. struct2griedg
  19. graop
  20. grastruct
  21. gropd
  22. grstructd
  23. gropeld
  24. grstructeld
  25. setsvtx
  26. setsiedg