---

Step * of Lemma derivative-arcsine

d(arcsine(x))/dx = λx.arcsine_deriv(x) on (r(-1), r1)
BY
{ (Unfold `arcsine` 0 THEN BLemma `derivative-of-integral`⋅ THEN Auto) }

1
λx.arcsine_deriv(x) ∈ {f:(r(-1), r1) ⟶ℝ| ∀x,y:{a:ℝ| (r(-1) < a) ∧ (a < r1)} .  ((x = y) ⇒ ((f x) = (f y)))} 

---

Latex:

---

Latex:
d(arcsine(x))/dx  =  \mlambda{}x.arcsine\_deriv(x)  on  (r(-1),  r1)


By

---

Latex:
(Unfold  `arcsine`  0  THEN  BLemma  `derivative-of-integral`\mcdot{}  THEN  Auto)

---

Home Index