---

Step * 1 1 of Lemma ctrex1-calculation


small-ctrex1() 10^1143 ~ un-ctrex1(un-ctrex1((r1)/10^126)) 10^1143
BY
{ (Fold `small-ctrex1` 0 THEN Trivial) }

---

Latex:

---

Latex:

small-ctrex1()  10\^{}1143  \msim{}  un-ctrex1(un-ctrex1((r1)/10\^{}126))  10\^{}1143


By

---

Latex:
(Fold  `small-ctrex1`  0  THEN  Trivial)

---

Home Index