---

Step * 1 of Lemma reg-seq-list-add_wf


1. L : ℝ List
⊢ reg-seq-list-add(L) ∈ ℕ+ ⟶ ℤ
BY
{ ProveWfLemma }

---

Latex:

---

Latex:

1.  L  :  \mBbbR{}  List
\mvdash{}  reg-seq-list-add(L)  \mmember{}  \mBbbN{}\msupplus{}  {}\mrightarrow{}  \mBbbZ{}


By

---

Latex:
ProveWfLemma

---

Home Index