Metamath Proof Explorer


Table of Contents - 20.3.4.1. Relations - misc additions

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