Metamath Proof Explorer

Table of Contents - 17.2.1. Undirected hypergraphs

1. cuhgr
2. cushgr
3. df-uhgr
4. df-ushgr
5. isuhgr
6. isushgr
7. uhgrf
8. ushgrf
9. uhgrss
10. uhgreq12g
11. uhgrfun
12. uhgrn0
13. lpvtx
14. ushgruhgr
15. isuhgrop
16. uhgr0e
17. uhgr0vb
18. uhgr0
19. uhgrun
20. uhgrunop
21. ushgrun
22. ushgrunop
23. uhgrstrrepe
24. incistruhgr