Metamath Proof Explorer

Table of Contents - 17.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. uspgredgiedg
29. uspgriedgedg
30. uspgrushgr
31. uspgrupgr
32. uspgrupgrushgr
33. usgruspgr
34. usgrumgr
35. usgrumgruspgr
36. usgruspgrb
37. uspgruhgr
38. usgrupgr
39. usgruhgr
40. usgrislfuspgr
41. uspgrun
42. uspgrunop
43. usgrun
44. usgrunop
45. usgredg2
46. usgredg2ALT
47. usgredgprv
48. usgredgprvALT
49. usgredgppr
50. usgrpredgv
51. edgssv2
52. usgredg
53. usgrnloopv
54. usgrnloopvALT
55. usgrnloop
56. usgrnloopALT
57. usgrnloop0
58. usgrnloop0ALT
59. usgredgne
60. usgrf1oedg
61. uhgr2edg
62. umgr2edg
63. usgr2edg
64. umgr2edg1
65. usgr2edg1
66. umgrvad2edg
67. umgr2edgneu
68. usgrsizedg
69. usgredg3
70. usgredg4
71. usgredgreu
72. usgredg2vtx
73. uspgredg2vtxeu
74. usgredg2vtxeu
75. usgredg2vtxeuALT
76. uspgredg2vlem
77. uspgredg2v
78. usgredg2vlem1
79. usgredg2vlem2
80. usgredg2v
81. usgriedgleord
82. ushgredgedg
83. usgredgedg
84. ushgredgedgloop
85. uspgredgleord
86. usgredgleord
87. usgredgleordALT
88. usgrstrrepe