---

Step * of Lemma ri-deq_wf

ri-deq() ∈ EqDecider(ℚInterval)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
ri-deq()  \mmember{}  EqDecider(\mBbbQ{}Interval)


By

---

Latex:
ProveWfLemma

---

Home Index