---

Step * of Lemma req-rdiv

∀x,y,z:ℝ.  (z ≠ r0 ⇒ (x = (y/z) ⇐⇒ (x * z) = y))
BY
{ Auto }

1
1. x : ℝ@i
2. y : ℝ@i
3. z : ℝ@i
4. z ≠ r0
5. x = (y/z)
⊢ (x * z) = y

2
1. x : ℝ@i
2. y : ℝ@i
3. z : ℝ@i
4. z ≠ r0
5. (x * z) = y
⊢ x = (y/z)

---

Latex:

---

Latex:
\mforall{}x,y,z:\mBbbR{}.    (z  \mneq{}  r0  {}\mRightarrow{}  (x  =  (y/z)  \mLeftarrow{}{}\mRightarrow{}  (x  *  z)  =  y))


By

---

Latex:
Auto

---

Home Index