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