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. elintabg
13. elintab
14. elintrab
15. elintrabg
16. int0
17. intss1
18. ssint
19. ssintab
20. ssintub
21. ssmin
22. intmin
23. intss
24. intssuni
25. ssintrab
26. unissint
27. intssuni2
28. intminss
29. intmin2
30. intmin3
31. intmin4
32. intab
33. int0el
34. intun
35. intprg
36. intpr
37. intsng
38. intsn
39. uniintsn
40. uniintab
41. intunsn
42. rint0
43. elrint
44. elrint2