---

Step * of Lemma q-csm+

∀[H,K,A,tau:Top].  ((q)tau+ ~ q)
BY
{ PresheafMLTTInstance Obid: q-pscm+⋅ }

---

Latex:

---

Latex:
\mforall{}[H,K,A,tau:Top].    ((q)tau+  \msim{}  q)


By

---

Latex:
PresheafMLTTInstance  Obid:  q-pscm+\mcdot{}

---

Home Index