---

Step * of Lemma permutations-list-1

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

---

Latex:

---

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


By

---

Latex:
(RepeatFor  2  ((ByComputation  1000  THEN  EqCD))
  THEN  Reduce  0
  THEN  RepeatFor  2  (EqCD)
  THEN  ByComputation  100)

---

Home Index