---

Step * of Lemma fix_strict_diverge

∀f:StrictFun. (fix(f) ~ ⊥)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}f:StrictFun.  (fix(f)  \msim{}  \mbot{})


By

---

Latex:
Auto

---

Home Index