---

Step * of Lemma sq_stable_ex_nonzero

∀n:ℕ. ∀a:ℕn ⟶ ℝ.  SqStable(∃i:ℕn. a[i] ≠ r0)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}n:\mBbbN{}.  \mforall{}a:\mBbbN{}n  {}\mrightarrow{}  \mBbbR{}.    SqStable(\mexists{}i:\mBbbN{}n.  a[i]  \mneq{}  r0)


By

---

Latex:
Auto

---

Home Index