Metamath Proof Explorer

Table of Contents - 2.4.1. Introduce the Axiom of Union

1. ax-un
2. zfun
3. axun2
4. uniex2
5. vuniex
6. uniexg
7. uniex
8. uniexd
9. unexg
10. unex
11. unexOLD
12. tpex
13. unexb
14. unexbOLD
15. unexgOLD
16. xpexg
17. xpexd
18. 3xpexg
19. xpex
20. unexd
21. sqxpexg
22. abnexg
23. abnex
24. snnex
25. pwnex
26. difex2
27. difsnexi
28. uniuni
29. uniexr
30. uniexb
31. pwexr
32. pwexb
33. elpwpwel
34. eldifpw
35. elpwun
36. pwuncl
37. iunpw
38. fr3nr
39. epne3
40. dfwe2