Metamath Proof Explorer

Table of Contents - 21.3.4.1. Relations - misc additions

1. xpdisjres
2. opeldifid
3. difres
4. imadifxp
5. relfi
6. 0res
7. fcoinver
8. fcoinvbr
9. breq1dd
10. breq2dd
11. brab2d
12. brabgaf
13. brelg
14. br8d
15. fnfvor
16. ofrco
17. opabdm
18. opabrn
19. opabssi
20. opabid2ss
21. ssrelf
22. eqrelrd2
23. erbr3b
24. iunsnima
25. iunsnima2