---

Step * of Lemma stable__req-vec

∀n:ℕ. ∀x,y:ℝ^n.  Stable{req-vec(n;x;y)}
BY
{ (Auto THEN Unfold `req-vec` 0 THEN BLemma `stable__all` THEN Auto) }

---

Latex:

---

Latex:
\mforall{}n:\mBbbN{}.  \mforall{}x,y:\mBbbR{}\^{}n.    Stable\{req-vec(n;x;y)\}


By

---

Latex:
(Auto  THEN  Unfold  `req-vec`  0  THEN  BLemma  `stable\_\_all`  THEN  Auto)

---

Home Index