---

Step * of Lemma upto_wf

∀[n:ℤ]. (upto(n) ∈ ℕn List)
BY
{ (Unfold `int_seg` 0 THEN ProveWfLemma) }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbZ{}].  (upto(n)  \mmember{}  \mBbbN{}n  List)


By

---

Latex:
(Unfold  `int\_seg`  0  THEN  ProveWfLemma)

---

Home Index