Metamath Proof Explorer


Table of Contents - 2.1.13.6. Class abstractions with difference, union, and intersection of two classes

  1. unab
  2. inab
  3. difab
  4. notab
  5. unrab
  6. inrab
  7. inrab2
  8. difrab
  9. dfrab3
  10. dfrab2
  11. notrab
  12. dfrab3ss
  13. rabun2