---

Step * of Lemma right-option_wf

∀[m,g:Game].  (right-option{i:l}(g;m) ∈ ℙ')
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[m,g:Game].    (right-option\{i:l\}(g;m)  \mmember{}  \mBbbP{}')


By

---

Latex:
ProveWfLemma

---

Home Index