---

Step * of Lemma permr_reflex

∀T:Type. ∀as:T List.  (as ≡(T) as)
BY
{ EAuto 1 }

---

Latex:

---

Latex:
\mforall{}T:Type.  \mforall{}as:T  List.    (as  \mequiv{}(T)  as)


By

---

Latex:
EAuto  1

---

Home Index