---

Step * of Lemma csm-cubical-type-ap-morph

∀[A,I,J,f,a,u,s:Top].  ((u a f) ~ (u (s)a f))
BY
{ PresheafMLTTInstance Obid: pscm-presheaf-type-ap-morph⋅ }

---

Latex:

---

Latex:
\mforall{}[A,I,J,f,a,u,s:Top].    ((u  a  f)  \msim{}  (u  (s)a  f))


By

---

Latex:
PresheafMLTTInstance  Obid:  pscm-presheaf-type-ap-morph\mcdot{}

---

Home Index