Step * 1 1 1 of Lemma arrow_pair_lemma


1. Top
2. Top
⊢ y
BY
Try SqEqCD }


Latex:


Latex:

1.  y  :  Top
2.  x  :  Top
\mvdash{}  y  \msim{}  y


By


Latex:
Try  SqEqCD




Home Index