Metamath Proof Explorer

Table of Contents - 21.50.15.1. Closed neighborhood of a vertex

1. cclnbgr
2. df-clnbgr
3. clnbgrprc0
4. clnbgrcl
5. clnbgrval
6. dfclnbgr2
7. dfclnbgr4
8. elclnbgrelnbgr
9. dfclnbgr3
10. clnbgrnvtx0
11. clnbgrel
12. clnbgrvtxel
13. clnbgrisvtx
14. clnbgrssvtx
15. clnbgrn0
16. clnbupgr
17. clnbupgrel
18. clnbgr0vtx
19. clnbgr0edg
20. clnbgrsym
21. predgclnbgrel
22. clnbgredg
23. clnbgrssedg
24. edgusgrclnbfin
25. clnbusgrfi
26. clnbfiusgrfi
27. clnbgrlevtx