---

Step * of Lemma primrec0_lemma

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

---

Latex:

---

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


By

---

Latex:
(Auto  THEN  Computation)

---

Home Index