Metamath Proof Explorer

Table of Contents - 16.2.9.2. Universal vertices

1. cuvtx
2. df-uvtx
3. uvtxval
4. uvtxel
5. uvtxisvtx
6. uvtxssvtx
7. vtxnbuvtx
8. uvtxnbgrss
9. uvtxnbgrvtx
10. uvtx0
11. isuvtx
12. uvtxel1
13. uvtx01vtx
14. uvtx2vtx1edg
15. uvtx2vtx1edgb
16. uvtxnbgr
17. uvtxnbgrb
18. uvtxusgr
19. uvtxusgrel
20. uvtxnm1nbgr
21. nbusgrvtxm1uvtx
22. uvtxnbvtxm1
23. nbupgruvtxres
24. uvtxupgrres