---

Step * of Lemma small-category-subtype'

SmallCategory ⊆r small-category{i'':l}
BY
{ xxxD 0xxx }

1
.....subterm..... T:t
1:n
1. x : SmallCategory
⊢ x ∈ small-category{i'':l}

2
.....eq aux..... 
SmallCategory ∈ 𝕌'

---

Latex:

---

Latex:
SmallCategory  \msubseteq{}r  small-category\{i'':l\}


By

---

Latex:
xxxD  0xxx

---

Home Index