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