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