---

Step * 3 of Lemma arcsine_functionality_wrt_rless


1. x : {x:ℝ| x ∈ (r(-1), r1)} 
2. y : {x:ℝ| x ∈ (r(-1), r1)} 
3. x < y
4. arcsine(x) strictly-increasing for x ∈ (r(-1), r1)
⊢ arcsine(x) < arcsine(y)
BY
{ (D -1 With ⌜x⌝  THEN Auto) }

---

Latex:

---

Latex:

1.  x  :  \{x:\mBbbR{}|  x  \mmember{}  (r(-1),  r1)\} 
2.  y  :  \{x:\mBbbR{}|  x  \mmember{}  (r(-1),  r1)\} 
3.  x  <  y
4.  arcsine(x)  strictly-increasing  for  x  \mmember{}  (r(-1),  r1)
\mvdash{}  arcsine(x)  <  arcsine(y)


By

---

Latex:
(D  -1  With  \mkleeneopen{}x\mkleeneclose{}    THEN  Auto)

---

Home Index