---

Step * of Lemma callbyvalueall-nil

∀[F:Top]. (let x ⟵ [] in F[x] ~ F[[]])
BY
{ xxx(Auto THEN RepeatFor 2 ((Computation THEN Auto)))xxx }

---

Latex:

---

Latex:
\mforall{}[F:Top].  (let  x  \mleftarrow{}{}  []  in  F[x]  \msim{}  F[[]])


By

---

Latex:
xxx(Auto  THEN  RepeatFor  2  ((Computation  THEN  Auto)))xxx

---

Home Index