---

Step * of Lemma ftc-example1

∀a,b:ℝ.  (a_∫-b t^2 dt = ((b^3/r(3)) - (a^3/r(3))))
BY
{ (Auto THEN RW (SweepDnC IntegralEvalC) 0⋅ THEN Auto) }

---

Latex:

---

Latex:
\mforall{}a,b:\mBbbR{}.    (a\_\mint{}\msupminus{}b  t\^{}2  dt  =  ((b\^{}3/r(3))  -  (a\^{}3/r(3))))


By

---

Latex:
(Auto  THEN  RW  (SweepDnC  IntegralEvalC)  0\mcdot{}  THEN  Auto)

---

Home Index