---

Step * of Lemma BNF-list-case0

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

---

Latex:

---

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


By

---

Latex:
EAuto  2

---

Home Index