---

Step * of Lemma rless-arcsine

∀x:{x:ℝ| x ∈ (r(-1), r1)} . (-(π/2) < arcsine(x))
BY
{ (InstLemma `arcsine-bounds` [] THEN ParallelLast THEN All Reduce THEN Auto) }

---

Latex:

---

Latex:
\mforall{}x:\{x:\mBbbR{}|  x  \mmember{}  (r(-1),  r1)\}  .  (-(\mpi{}/2)  <  arcsine(x))


By

---

Latex:
(InstLemma  `arcsine-bounds`  []  THEN  ParallelLast  THEN  All  Reduce  THEN  Auto)

---

Home Index