---

Step * of Lemma csm-adjoin-comp

∀[Gamma,Delta,X,A,sigma,u,g:Top].  ((sigma;u) o g ~ (sigma o g;(u)g))
BY
{ PresheafMLTTInstance Obid: pscm-adjoin-comp⋅ }

---

Latex:

---

Latex:
\mforall{}[Gamma,Delta,X,A,sigma,u,g:Top].    ((sigma;u)  o  g  \msim{}  (sigma  o  g;(u)g))


By

---

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

---

Home Index