---

Step * of Lemma callbyvalueall-nil2

∀[F:Top]. (let x ⟵ [] in F ~ F)
BY
{ Auto }

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index