---

Step * of Lemma sq_stable-dist-rless

No Annotations
∀n:ℕ. ∀a,b,c,d:ℝ^n.  SqStable(d(c;d) < d(a;b))
BY
{ Auto }

---

Latex:

---

Latex:
No  Annotations
\mforall{}n:\mBbbN{}.  \mforall{}a,b,c,d:\mBbbR{}\^{}n.    SqStable(d(c;d)  <  d(a;b))


By

---

Latex:
Auto

---

Home Index