Step
*
of Lemma
rnexp2-positive
∀x:ℝ. (x ≠ r0
⇒ (r0 < x^2))
BY
{ (Auto THEN D -1) }
1
1. x : ℝ
2. x < r0
⊢ r0 < x^2
2
1. x : ℝ
2. r0 < x
⊢ r0 < x^2
Latex:
Latex:
\mforall{}x:\mBbbR{}. (x \mneq{} r0 {}\mRightarrow{} (r0 < x\^{}2))
By
Latex:
(Auto THEN D -1)
Home
Index