---

Step * of Lemma list-in-fin_spr_wf

[B: List  ]. [a: List].  ((a  fspr(B))  )
BY
{ ProveWfLemma }


\mforall{}[B:\mBbbN{}  List  {}\mrightarrow{}  \mBbbN{}].  \mforall{}[a:\mBbbN{}  List].    ((a  \mmember{}  fspr(B))  \mmember{}  \mBbbB{})


By

ProveWfLemma



Home Index