---

Step * of Lemma infinitesmal-iff

∀x:ℝ*. (is-infinitesmal(x) ⇐⇒ ∀r:{r:ℝ| r0 < r} . |x| < (r)*)
BY
{ Auto }

1
1. x : ℝ*
2. is-infinitesmal(x)
3. r : {r:ℝ| r0 < r} 
⊢ |x| < (r)*

2
1. x : ℝ*
2. ∀r:{r:ℝ| r0 < r} . |x| < (r)*
⊢ is-infinitesmal(x)

---

Latex:

---

Latex:
\mforall{}x:\mBbbR{}*.  (is-infinitesmal(x)  \mLeftarrow{}{}\mRightarrow{}  \mforall{}r:\{r:\mBbbR{}|  r0  <  r\}  .  |x|  <  (r)*)


By

---

Latex:
Auto

---

Home Index