---

Step * 1 of Lemma test_stuck_apply


∀[x,y,z:Top].  (⊥ ~ ⊥)
BY
{ Auto }

---

Latex:

---

Latex:

\mforall{}[x,y,z:Top].    (\mbot{}  \msim{}  \mbot{})


By

---

Latex:
Auto

---

Home Index