---

Step * of Lemma real-vec-sep_inversion

∀n:ℕ. ∀x,y:ℝ^n.  (x ≠ y ⇒ y ≠ x)
BY
{ EAuto 1 }

---

Latex:

---

Latex:
\mforall{}n:\mBbbN{}.  \mforall{}x,y:\mBbbR{}\^{}n.    (x  \mneq{}  y  {}\mRightarrow{}  y  \mneq{}  x)


By

---

Latex:
EAuto  1

---

Home Index