---

Step * of Lemma ratLegendreSign_wf

∀[n:ℕ]. ∀[k:ℤ]. ∀[m:ℕ+].  (ratLegendreSign(n;k;m) ∈ {-1..2-})
BY
{ ProveWfLemma }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}].  \mforall{}[k:\mBbbZ{}].  \mforall{}[m:\mBbbN{}\msupplus{}].    (ratLegendreSign(n;k;m)  \mmember{}  \{-1..2\msupminus{}\})


By

---

Latex:
ProveWfLemma

---

Home Index