---

Step * of Lemma Legendre-roots-symmetric

∀[n:ℕ]. ∀[x:ℝ].  uiff(Legendre(n;-(x)) = r0;Legendre(n;x) = r0)
BY
{ Auto }

1
1. n : ℕ
2. x : ℝ
3. Legendre(n;-(x)) = r0
⊢ Legendre(n;x) = r0

2
1. n : ℕ
2. x : ℝ
3. Legendre(n;x) = r0
⊢ Legendre(n;-(x)) = r0

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}].  \mforall{}[x:\mBbbR{}].    uiff(Legendre(n;-(x))  =  r0;Legendre(n;x)  =  r0)


By

---

Latex:
Auto

---

Home Index