---

Step * of Lemma rminus-rdiv

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

---

Latex:

---

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


By

---

Latex:
Auto

---

Home Index