---

Step * of Lemma empty-bag-wf-list-test

∀[T:Type]. ({} ∈ T List)
BY
{ Auto }

---

Latex:

---

Latex:
\mforall{}[T:Type].  (\{\}  \mmember{}  T  List)


By

---

Latex:
Auto

---

Home Index