---

Step * 2 of Lemma word-equiv-equiv


1. [X] : Type
2. a : (X + X) List
3. b : (X + X) List
4. word-equiv(X;a;b)
⊢ word-equiv(X;b;a)
BY
{ (RepeatFor 2 (ParallelLast) THEN Auto) }

---

Latex:

---

Latex:

1.  [X]  :  Type
2.  a  :  (X  +  X)  List
3.  b  :  (X  +  X)  List
4.  word-equiv(X;a;b)
\mvdash{}  word-equiv(X;b;a)


By

---

Latex:
(RepeatFor  2  (ParallelLast)  THEN  Auto)

---

Home Index