Step * 1 1 1 of Lemma cat_comp_tuple_lemma


1. Top
2. Top
3. arrow Top
4. ob Top
⊢ y
BY
Try SqEqCD }


Latex:


Latex:

1.  y  :  Top
2.  x  :  Top
3.  arrow  :  Top
4.  ob  :  Top
\mvdash{}  y  \msim{}  y


By


Latex:
Try  SqEqCD




Home Index