---

Step * 1 of Lemma arcsine_functionality_wrt_rless

.....antecedent..... 
1. x : {x:ℝ| x ∈ (r(-1), r1)} 
2. y : {x:ℝ| x ∈ (r(-1), r1)} 
3. x < y
⊢ arcsine_deriv(x) continuous for x ∈ (r(-1), r1)
BY
{ (BLemma `function-is-continuous` THEN Auto) }

---

Latex:

---

Latex:
.....antecedent..... 
1.  x  :  \{x:\mBbbR{}|  x  \mmember{}  (r(-1),  r1)\} 
2.  y  :  \{x:\mBbbR{}|  x  \mmember{}  (r(-1),  r1)\} 
3.  x  <  y
\mvdash{}  arcsine\_deriv(x)  continuous  for  x  \mmember{}  (r(-1),  r1)


By

---

Latex:
(BLemma  `function-is-continuous`  THEN  Auto)

---

Home Index