Step
*
of Lemma
general-iroot_wf
∀[n:ℕ
+
]. ∀[x:ℤ]. (general-iroot(n;x) ∈ ℤ)
BY
{ ProveWfLemma }
Latex:
Latex:
\mforall{}[n:\mBbbN{}\msupplus{}]. \mforall{}[x:\mBbbZ{}]. (general-iroot(n;x) \mmember{} \mBbbZ{})
By
Latex:
ProveWfLemma
Home
Index