---

Step * of Lemma cover-seq_wf

∀[A,B:ℝ ⟶ ℙ]. ∀[d:r:ℝ ⟶ (A[r] + B[r])]. ∀[a,b:ℝ]. ∀[n:ℕ].  (cover-seq(d;a;b;n) ∈ ℝ × ℝ)
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[A,B:\mBbbR{}  {}\mrightarrow{}  \mBbbP{}].  \mforall{}[d:r:\mBbbR{}  {}\mrightarrow{}  (A[r]  +  B[r])].  \mforall{}[a,b:\mBbbR{}].  \mforall{}[n:\mBbbN{}].    (cover-seq(d;a;b;n)  \mmember{}  \mBbbR{}  \mtimes{}  \mBbbR{})


By

---

Latex:
ProveWfLemma

---

Home Index