Metamath Proof Explorer

Table of Contents - 2.1.13.5. Combinations of difference, union, and intersection of two classes

  1. unabs
  2. inabs
  3. nssinpss
  4. nsspssun
  5. dfss4
  6. dfun2
  7. dfin2
  8. difin
  9. ssdifim
  10. ssdifsym
  11. dfss5
  12. dfun3
  13. dfin3
  14. dfin4
  15. invdif
  16. indif
  17. indif2
  18. indif1
  19. indifcom
  20. indi
  21. undi
  22. indir
  23. undir
  24. unineq
  25. uneqin
  26. difundi
  27. difundir
  28. difindi
  29. difindir
  30. indifdir
  31. difdif2
  32. undm
  33. indm
  34. difun1
  35. undif3
  36. difin2
  37. dif32
  38. difabs
  39. sscon34b
  40. rcompleq
  41. dfsymdif3