---

Step * of Lemma exp-non-neg

∀[n,x:ℕ].  (0 ≤ x^n)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[n,x:\mBbbN{}].    (0  \mleq{}  x\^{}n)


By

---

Latex:
Auto

---

Home Index