Metamath Proof Explorer

Table of Contents - 16.2.5. Undirected simple graphs

In this section, "simple graph" will always stand for "undirected simple graph (without loops)" and "simple pseudograph" for "undirected simple pseudograph (which could have loops)".

  1. cuspgr
  2. cusgr
  3. df-uspgr
  4. df-usgr
  5. isuspgr
  6. isusgr
  7. uspgrf
  8. usgrf
  9. isusgrs
  10. usgrfs
  11. usgrfun
  12. usgredgss
  13. edgusgr
  14. isuspgrop
  15. isusgrop
  16. usgrop
  17. isausgr
  18. ausgrusgrb
  19. usgrausgri
  20. ausgrumgri
  21. ausgrusgri
  22. usgrausgrb
  23. usgredgop
  24. usgrf1o
  25. usgrf1
  26. uspgrf1oedg
  27. usgrss
  28. uspgrushgr
  29. uspgrupgr
  30. uspgrupgrushgr
  31. usgruspgr
  32. usgrumgr
  33. usgrumgruspgr
  34. usgruspgrb
  35. usgrupgr
  36. usgruhgr
  37. usgrislfuspgr
  38. uspgrun
  39. uspgrunop
  40. usgrun
  41. usgrunop
  42. usgredg2
  43. usgredg2ALT
  44. usgredgprv
  45. usgredgprvALT
  46. usgredgppr
  47. usgrpredgv
  48. edgssv2
  49. usgredg
  50. usgrnloopv
  51. usgrnloopvALT
  52. usgrnloop
  53. usgrnloopALT
  54. usgrnloop0
  55. usgrnloop0ALT
  56. usgredgne
  57. usgrf1oedg
  58. uhgr2edg
  59. umgr2edg
  60. usgr2edg
  61. umgr2edg1
  62. usgr2edg1
  63. umgrvad2edg
  64. umgr2edgneu
  65. usgrsizedg
  66. usgredg3
  67. usgredg4
  68. usgredgreu
  69. usgredg2vtx
  70. uspgredg2vtxeu
  71. usgredg2vtxeu
  72. usgredg2vtxeuALT
  73. uspgredg2vlem
  74. uspgredg2v
  75. usgredg2vlem1
  76. usgredg2vlem2
  77. usgredg2v
  78. usgriedgleord
  79. ushgredgedg
  80. usgredgedg
  81. ushgredgedgloop
  82. uspgredgleord
  83. usgredgleord
  84. usgredgleordALT
  85. usgrstrrepe