---

Step * of Lemma possible-majority_wf

∀T:Type. ∀eq:EqDecider(T). ∀L:T List. ∀x:T.  (possible-majority(T;eq;L;x) ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}T:Type.  \mforall{}eq:EqDecider(T).  \mforall{}L:T  List.  \mforall{}x:T.    (possible-majority(T;eq;L;x)  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index