Metamath Proof Explorer

Table of Contents - 2.1.20. The intersection of a class

1. cint
2. df-int
3. dfint2
4. inteq
5. inteqi
6. inteqd
7. elint
8. elint2
9. elintg
10. elinti
11. nfint
12. elintab
13. elintrab
14. elintrabg
15. int0
16. intss1
17. ssint
18. ssintab
19. ssintub
20. ssmin
21. intmin
22. intss
23. intssuni
24. ssintrab
25. unissint
26. intssuni2
27. intminss
28. intmin2
29. intmin3
30. intmin4
31. intab
32. int0el
33. intun
34. intpr
35. intprg
36. intsng
37. intsn
38. uniintsn
39. uniintab
40. intunsn
41. rint0
42. elrint
43. elrint2