---

Step * of Lemma csm-type-at

∀s,A,I,alpha:Top.  ((A)s(alpha) ~ A((s)alpha))
BY
{ PresheafMLTTInstance Obid: pscm-type-at⋅ }

---

Latex:

---

Latex:
\mforall{}s,A,I,alpha:Top.    ((A)s(alpha)  \msim{}  A((s)alpha))


By

---

Latex:
PresheafMLTTInstance  Obid:  pscm-type-at\mcdot{}

---

Home Index