---

Step * 1 of Lemma enum-fin-seq_wf


1. m : ℕ
⊢ enum-fin-seq(m) ∈ (ℕ ⟶ 𝔹) List
BY
{ ProveWfLemma }

---

Latex:

---

Latex:

1.  m  :  \mBbbN{}
\mvdash{}  enum-fin-seq(m)  \mmember{}  (\mBbbN{}  {}\mrightarrow{}  \mBbbB{})  List


By

---

Latex:
ProveWfLemma

---

Home Index