---

Step * of Lemma sq_stable__rv-be

∀[n:ℕ]. ∀[a,b,c:ℝ^n].  SqStable(a_b_c)
BY
{ (EAuto 1 THEN BLemma `stable-implies-sq_stable` THEN Auto) }

---

Latex:

---

Latex:
\mforall{}[n:\mBbbN{}].  \mforall{}[a,b,c:\mBbbR{}\^{}n].    SqStable(a\_b\_c)


By

---

Latex:
(EAuto  1  THEN  BLemma  `stable-implies-sq\_stable`  THEN  Auto)

---

Home Index