---

Step * of Lemma pscm-presheaf-pair

∀[u,v,s:Top].  ((presheaf-pair(u;v))s ~ presheaf-pair((u)s;(v)s))
BY
{ xxx(RepUR ``presheaf-pair`` 0 THEN PscmUnfolding THEN Auto)xxx }

---

Latex:

---

Latex:
\mforall{}[u,v,s:Top].    ((presheaf-pair(u;v))s  \msim{}  presheaf-pair((u)s;(v)s))


By

---

Latex:
xxx(RepUR  ``presheaf-pair``  0  THEN  PscmUnfolding  THEN  Auto)xxx

---

Home Index