Metamath Proof Explorer
Table of Contents - 16.2.9.2. Universal vertices
- cuvtx
- df-uvtx
- uvtxval
- uvtxel
- uvtxisvtx
- uvtxssvtx
- vtxnbuvtx
- uvtxnbgrss
- uvtxnbgrvtx
- uvtx0
- isuvtx
- uvtxel1
- uvtx01vtx
- uvtx2vtx1edg
- uvtx2vtx1edgb
- uvtxnbgr
- uvtxnbgrb
- uvtxusgr
- uvtxusgrel
- uvtxnm1nbgr
- nbusgrvtxm1uvtx
- uvtxnbvtxm1
- nbupgruvtxres
- uvtxupgrres