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