---

Step * of Lemma rminus-rdiv2

∀[x,a:ℝ].  -((x/a)) = (x/-(a)) supposing a ≠ r0
BY
{ EAuto 1 }

---

Latex:

---

Latex:
\mforall{}[x,a:\mBbbR{}].    -((x/a))  =  (x/-(a))  supposing  a  \mneq{}  r0


By

---

Latex:
EAuto  1

---

Home Index