---

Step * of Lemma Yoneda-restriction

∀[C,I,f,s,A,B:Top].  (f(s) ~ cat-comp(C) B A I f s)
BY
{ (RepUR ``Yoneda psc-restriction`` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[C,I,f,s,A,B:Top].    (f(s)  \msim{}  cat-comp(C)  B  A  I  f  s)


By

---

Latex:
(RepUR  ``Yoneda  psc-restriction``  0  THEN  Auto)

---

Home Index