---

Step * of Lemma loopset-sq

loopset() ~ mk-coset(Unit;λp.loopset())
BY
{ Computation }

---

Latex:

---

Latex:
loopset()  \msim{}  mk-coset(Unit;\mlambda{}p.loopset())


By

---

Latex:
Computation

---

Home Index