---

Step * of Lemma fin_spr_wf

B: List  . (fin_spr(B)  Type)
BY
{ ProveWfLemma }


\mforall{}B:\mBbbN{}  List  {}\mrightarrow{}  \mBbbN{}.  (fin\_spr(B)  \mmember{}  Type)


By

ProveWfLemma



Home Index