---

Step * of Lemma context-subset-restriction

∀[Gamma,phi,I,J,a,f:Top].  (f(a) ~ f(a))
BY
{ (Intros THEN Computation) }

---

Latex:

---

Latex:
\mforall{}[Gamma,phi,I,J,a,f:Top].    (f(a)  \msim{}  f(a))


By

---

Latex:
(Intros  THEN  Computation)

---

Home Index