Metamath Proof Explorer


Table of Contents - 20.3.3.8. Disjointness - misc additions

  1. disjnf
  2. cbvdisjf
  3. disjss1f
  4. disjeq1f
  5. disjxun0
  6. disjdifprg
  7. disjdifprg2
  8. disji2f
  9. disjif
  10. disjorf
  11. disjorsf
  12. disjif2
  13. disjabrex
  14. disjabrexf
  15. disjpreima
  16. disjrnmpt
  17. disjin
  18. disjin2
  19. disjxpin
  20. iundisjf
  21. iundisj2f
  22. disjrdx
  23. disjex
  24. disjexc
  25. disjunsn
  26. disjun0
  27. disjiunel
  28. disjuniel