---

Step * of Lemma primrec1_lemma

∀c,b:Top.  (primrec(1;b;c) ~ c 0 b)
BY
{ (Auto THEN Computation) }

---

Latex:

---

Latex:
\mforall{}c,b:Top.    (primrec(1;b;c)  \msim{}  c  0  b)


By

---

Latex:
(Auto  THEN  Computation)

---

Home Index