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. rescbasOLD
  25. reschom
  26. reschomf
  27. rescco
  28. resccoOLD
  29. rescabs
  30. rescabsOLD
  31. rescabs2
  32. issubc
  33. issubc2
  34. 0ssc
  35. 0subcat
  36. catsubcat
  37. subcssc
  38. subcfn
  39. subcss1
  40. subcss2
  41. subcidcl
  42. subccocl
  43. subccatid
  44. subcid
  45. subccat
  46. issubc3
  47. fullsubc
  48. fullresc
  49. resscat
  50. subsubc