---

Step * 1 1 1 of Lemma sublist-reverse


1. [T] : Type
⊢ ∀L2:T List. ([] ⊆ L2 ⇒ [] ⊆ rev(L2))
BY
{ Auto }

---

Latex:

---

Latex:

1.  [T]  :  Type
\mvdash{}  \mforall{}L2:T  List.  ([]  \msubseteq{}  L2  {}\mRightarrow{}  []  \msubseteq{}  rev(L2))


By

---

Latex:
Auto

---

Home Index