Step
*
of Lemma
l_member_wf
∀[T:Type]. ∀[x:T]. ∀[l:T List].  ((x ∈ l) ∈ ℙ)
BY
{ ProveWfLemma }
Latex:
Latex:
\mforall{}[T:Type].  \mforall{}[x:T].  \mforall{}[l:T  List].    ((x  \mmember{}  l)  \mmember{}  \mBbbP{})
By
Latex:
ProveWfLemma
Home
Index