---

Step * of Lemma csm-adjoin-ap

∀[sigma,u,I,del:Top].  (((sigma;u))del ~ <(sigma)del, (u)del>)
BY
{ (RepUR ``csm-adjoin csm-ap`` 0 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[sigma,u,I,del:Top].    (((sigma;u))del  \msim{}  <(sigma)del,  (u)del>)


By

---

Latex:
(RepUR  ``csm-adjoin  csm-ap``  0  THEN  Auto)

---

Home Index