---

Step * 1 of Lemma select-front-as-reduce


1. n : ℕ
⊢ [] ~ []
BY
{ Trivial }

---

Latex:

---

Latex:

1.  n  :  \mBbbN{}
\mvdash{}  []  \msim{}  []


By

---

Latex:
Trivial

---

Home Index