---

Step * of Lemma strict4-spread

strict4(λx,y,z,w. let a,b = x in y[a;b])
BY
{ ProveStrict }

---

Latex:

---

Latex:
strict4(\mlambda{}x,y,z,w.  let  a,b  =  x  in  y[a;b])


By

---

Latex:
ProveStrict

---

Home Index