---

Step * of Lemma rlog-rdiv

∀x,y:{t:ℝ| r0 < t} .  (rlog((x/y)) = (rlog(x) - rlog(y)))
BY
{ Auto }

1
1. x : {t:ℝ| r0 < t} 
2. y : {t:ℝ| r0 < t} 
⊢ rlog((x/y)) = (rlog(x) - rlog(y))

---

Latex:

---

Latex:
\mforall{}x,y:\{t:\mBbbR{}|  r0  <  t\}  .    (rlog((x/y))  =  (rlog(x)  -  rlog(y)))


By

---

Latex:
Auto

---

Home Index