---

Step * of Lemma csm-comp-sq

No Annotations
∀[A,B,C,F,G:Top].  (G o F ~ F o G)
BY
{ PresheafMLTTInstance Obid: pscm-comp-sq⋅ }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[A,B,C,F,G:Top].    (G  o  F  \msim{}  F  o  G)


By

---

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

---

Home Index