Metamath Proof Explorer

Table of Contents - 17.2.7. Subgraphs

1. csubgr
2. df-subgr
3. relsubgr
4. subgrv
5. issubgr
6. issubgr2
7. subgrprop
8. subgrprop2
9. uhgrissubgr
10. subgrprop3
11. egrsubgr
12. 0grsubgr
13. 0uhgrsubgr
14. uhgrsubgrself
15. subgrfun
16. subgruhgrfun
17. subgreldmiedg
18. subgruhgredgd
19. subumgredg2
20. subuhgr
21. subupgr
22. subumgr
23. subusgr
24. uhgrspansubgrlem
25. uhgrspansubgr
26. uhgrspan
27. upgrspan
28. umgrspan
29. usgrspan
30. uhgrspanop
31. upgrspanop
32. umgrspanop
33. usgrspanop
34. uhgrspan1lem1
35. uhgrspan1lem2
36. uhgrspan1lem3
37. uhgrspan1
38. upgrreslem
39. umgrreslem
40. upgrres
41. umgrres
42. usgrres
43. upgrres1lem1
44. umgrres1lem
45. upgrres1lem2
46. upgrres1lem3
47. upgrres1
48. umgrres1
49. usgrres1