---

Step * of Lemma canonicalizable-top

canonicalizable(Top)
BY
{ (D 0 With ⌜λx.Ax⌝  THEN Auto) }

---

Latex:

---

Latex:
canonicalizable(Top)


By

---

Latex:
(D  0  With  \mkleeneopen{}\mlambda{}x.Ax\mkleeneclose{}    THEN  Auto)

---

Home Index