---

Step * of Lemma rceq_wf

∀[k:ℕ]. ∀[a,b:ℚCube(k)].  (rceq(k;a;b) ∈ 𝔹)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[k:\mBbbN{}].  \mforall{}[a,b:\mBbbQ{}Cube(k)].    (rceq(k;a;b)  \mmember{}  \mBbbB{})


By

---

Latex:
ProveWfLemma

---

Home Index