---

Step * of Lemma csm-id-comp-sq

∀[A,B,C,D,x,y,X,Y,Z:Top].  (1(D) o x o y ~ x o y)
BY
{ PresheafMLTTInstance Obid: pscm-id-comp-sq⋅ }

---

Latex:

---

Latex:
\mforall{}[A,B,C,D,x,y,X,Y,Z:Top].    (1(D)  o  x  o  y  \msim{}  x  o  y)


By

---

Latex:
PresheafMLTTInstance  Obid:  pscm-id-comp-sq\mcdot{}

---

Home Index