---

Step * of Lemma rneq-rabs

∀a,v:ℝ.  (v ≠ a ⇒ -(v) ≠ a ⇒ v ≠ |a|)
BY
{ Auto }

1
1. a : ℝ
2. v : ℝ
3. v ≠ a
4. -(v) ≠ a
⊢ v ≠ |a|

---

Latex:

---

Latex:
\mforall{}a,v:\mBbbR{}.    (v  \mneq{}  a  {}\mRightarrow{}  -(v)  \mneq{}  a  {}\mRightarrow{}  v  \mneq{}  |a|)


By

---

Latex:
Auto

---

Home Index