---

Step * of Lemma rlog-integral-non-zero

∀a,b:ℝ.  ((r0 < a) ⇒ (a < b) ⇒ (¬(∫ (r1/t) dt on [a, b] = r0)))
BY
{ Intros }

1
1. a : ℝ
2. b : ℝ
3. r0 < a
4. a < b
⊢ ¬(∫ (r1/t) dt on [a, b] = r0)

---

Latex:

---

Latex:
\mforall{}a,b:\mBbbR{}.    ((r0  <  a)  {}\mRightarrow{}  (a  <  b)  {}\mRightarrow{}  (\mneg{}(\mint{}  (r1/t)  dt  on  [a,  b]  =  r0)))


By

---

Latex:
Intros

---

Home Index