---

Step * of Lemma rv-between-symmetry

∀n:ℕ. ∀a,b,c:ℝ^n.  (a-b-c ⇒ c-b-a)
BY
{ (Auto THEN ParallelLast THEN EAuto 1) }

---

Latex:

---

Latex:
\mforall{}n:\mBbbN{}.  \mforall{}a,b,c:\mBbbR{}\^{}n.    (a-b-c  {}\mRightarrow{}  c-b-a)


By

---

Latex:
(Auto  THEN  ParallelLast  THEN  EAuto  1)

---

Home Index