---

Step * of Lemma accelerate1-real-strong-regular

∀x:ℝ. strong-regular-int-seq(2;3;accelerate(1;x))
BY
{ ((Auto THEN (Assert strong-regular-int-seq(2 * 1;(2 * 1) + 1;accelerate(1;x)) BY Auto)) THEN Reduce -1 THEN Auto) }

---

Latex:

---

Latex:
\mforall{}x:\mBbbR{}.  strong-regular-int-seq(2;3;accelerate(1;x))


By

---

Latex:
((Auto  THEN  (Assert  strong-regular-int-seq(2  *  1;(2  *  1)  +  1;accelerate(1;x))  BY  Auto))
  THEN  Reduce  -1
  THEN  Auto)

---

Home Index