---

Step * of Lemma mk-Game_wf

∀[L,R:Game List].  ({L | R} ∈ Game)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[L,R:Game  List].    (\{L  |  R\}  \mmember{}  Game)


By

---

Latex:
ProveWfLemma

---

Home Index