---

Step * of Lemma oar-failure-model_wf

∀[orderers:bag(Id)]. ∀[f:ℤ]. ∀[correct:Id ─→ ℙ].  (oar-failure-model(orderers;f;correct) ∈ ℙ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[orderers:bag(Id)].  \mforall{}[f:\mBbbZ{}].  \mforall{}[correct:Id  {}\mrightarrow{}  \mBbbP{}].    (oar-failure-model(orderers;f;correct)  \mmember{}  \mBbbP{})


By

---

Latex:
ProveWfLemma

---

Home Index