---

Step * of Lemma in_fin_spr_wf

f:  . B: List  .  ((f  fspr(B))  )
BY
{ ProveWfLemma }


\mforall{}f:\mBbbN{}  {}\mrightarrow{}  \mBbbN{}.  \mforall{}B:\mBbbN{}  List  {}\mrightarrow{}  \mBbbN{}.    ((f  \mmember{}  fspr(B))  \mmember{}  \mBbbP{})


By

ProveWfLemma



Home Index