Metamath Proof Explorer
Table of Contents - 16.2.2. Undirected pseudographs and multigraphs
- cupgr
- cumgr
- df-upgr
- df-umgr
- isupgr
- wrdupgr
- upgrf
- upgrfn
- upgrss
- upgrn0
- upgrle
- upgrfi
- upgrex
- upgrbi
- upgrop
- isumgr
- isumgrs
- wrdumgr
- umgrf
- umgrfn
- umgredg2
- umgrbi
- upgruhgr
- umgrupgr
- umgruhgr
- upgrle2
- umgrnloopv
- umgredgprv
- umgrnloop
- umgrnloop0
- umgr0e
- upgr0e
- upgr1elem
- upgr1e
- upgr0eop
- upgr1eop
- upgr0eopALT
- upgr1eopALT
- upgrun
- upgrunop
- umgrun
- umgrunop