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. indifdi
  31. indifdir
  32. indifdirOLD
  33. difdif2
  34. undm
  35. indm
  36. difun1
  37. undif3
  38. difin2
  39. dif32
  40. difabs
  41. sscon34b
  42. rcompleq
  43. dfsymdif3