---

Step * of Lemma left-indices_wf

No Annotations
∀[g:Game]. (left-indices(g) ∈ Type)
BY
{ (InstLemma `Game_ext` [] THEN D -1 THEN ProveWfLemma) }

---

Latex:

---

Latex:
No  Annotations
\mforall{}[g:Game].  (left-indices(g)  \mmember{}  Type)


By

---

Latex:
(InstLemma  `Game\_ext`  []  THEN  D  -1  THEN  ProveWfLemma)

---

Home Index