Metamath Proof Explorer

Table of Contents - 8.1.6. Subcategories

1. cssc
2. cresc
3. csubc
4. df-ssc
5. df-resc
6. df-subc
7. sscrel
8. brssc
9. sscpwex
10. subcrcl
11. sscfn1
12. sscfn2
13. ssclem
14. isssc
15. ssc1
16. ssc2
17. sscres
18. sscid
19. ssctr
20. ssceq
21. rescval
22. rescval2
23. rescbas
24. reschom
25. reschomf
26. rescco
27. rescabs
28. rescabs2
29. issubc
30. issubc2
31. 0ssc
32. 0subcat
33. catsubcat
34. subcssc
35. subcfn
36. subcss1
37. subcss2
38. subcidcl
39. subccocl
40. subccatid
41. subcid
42. subccat
43. issubc3
44. fullsubc
45. fullresc
46. resscat
47. subsubc