---

Step * of Lemma list_of_extensions_in_fin_spr_wf

[B: List  ]. [b: List].  (list_of_extensions_in_fin_spr(B;b)   List List)
BY
{ ProveWfLemma }


\mforall{}[B:\mBbbN{}  List  {}\mrightarrow{}  \mBbbN{}].  \mforall{}[b:\mBbbN{}  List].    (list\_of\_extensions\_in\_fin\_spr(B;b)  \mmember{}  \mBbbN{}  List  List)


By

ProveWfLemma



Home Index