---

Step * of Lemma permutations-list-0

permutations-list(0) ~ [λx.⊥]
BY
{ (RepeatFor 2 ((ByComputation 1000 THEN EqCD)) THEN Auto) }

---

Latex:

---

Latex:
permutations-list(0)  \msim{}  [\mlambda{}x.\mbot{}]


By

---

Latex:
(RepeatFor  2  ((ByComputation  1000  THEN  EqCD))  THEN  Auto)

---

Home Index