---

Step * of Lemma isqrt_wf

∀[x:ℕ]. (isqrt(x) ∈ ℕ)
BY
{ xxx(D 0 THENA Auto)xxx }

1
1. x : ℕ
⊢ isqrt(x) ∈ ℕ

---

Latex:

---

Latex:
\mforall{}[x:\mBbbN{}].  (isqrt(x)  \mmember{}  \mBbbN{})


By

---

Latex:
xxx(D  0  THENA  Auto)xxx

---

Home Index