---

Step * of Lemma list_of_lists_of_given_size_in_fin_spr_wf

[B: List  ]. [k:].  (list_of_lists_of_given_size_in_fin_spr(B;k)   List List)
BY
{ ProveWfLemma }


\mforall{}[B:\mBbbN{}  List  {}\mrightarrow{}  \mBbbN{}].  \mforall{}[k:\mBbbN{}].    (list\_of\_lists\_of\_given\_size\_in\_fin\_spr(B;k)  \mmember{}  \mBbbN{}  List  List)


By

ProveWfLemma



Home Index