Metamath Proof Explorer
Table of Contents - 20.3.4.1. Relations - misc additions
- xpdisjres
- opeldifid
- difres
- imadifxp
- relfi
- reldisjun
- 0res
- funresdm1
- fnunres1
- fcoinver
- fcoinvbr
- brabgaf
- brelg
- br8d
- opabdm
- opabrn
- opabssi
- opabid2ss
- ssrelf
- eqrelrd2
- erbr3b
- iunsnima
- iunsnima2