---

Step * of Lemma isom-games_wf

∀[g1,g2:SimpleGame].  (g1 ≅ g2 ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[g1,g2:SimpleGame].    (g1  \mcong{}  g2  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index