Step * of Lemma small-category-subtype'

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

1
.....subterm..... T:t
1:n
1. 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