---

Step * of Lemma BNF-list-case0

∀ms:ℤ List. (imax-list([0 / ms]) ∈ ℕ)
BY
{ EAuto 1 }

---

Latex:


\mforall{}ms:\mBbbZ{}  List.  (imax-list([0  /  ms])  \mmember{}  \mBbbN{})


By

EAuto  1

---

Home Index