Metamath Proof Explorer

Table of Contents - 16.2.2. Undirected pseudographs and multigraphs

1. cupgr
2. cumgr
3. df-upgr
4. df-umgr
5. isupgr
6. wrdupgr
7. upgrf
8. upgrfn
9. upgrss
10. upgrn0
11. upgrle
12. upgrfi
13. upgrex
14. upgrbi
15. upgrop
16. isumgr
17. isumgrs
18. wrdumgr
19. umgrf
20. umgrfn
21. umgredg2
22. umgrbi
23. upgruhgr
24. umgrupgr
25. umgruhgr
26. upgrle2
27. umgrnloopv
28. umgredgprv
29. umgrnloop
30. umgrnloop0
31. umgr0e
32. upgr0e
33. upgr1elem
34. upgr1e
35. upgr0eop
36. upgr1eop
37. upgr0eopALT
38. upgr1eopALT
39. upgrun
40. upgrunop
41. umgrun
42. umgrunop