Metamath Proof Explorer


Table of Contents - 16.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