---

Step * of Lemma fin_spr_mem_in_fin_spr2

B: List  . f:  .  ((f  fspr(B))  (f  fin_spr(B)))
BY
{ Auto }


\mforall{}B:\mBbbN{}  List  {}\mrightarrow{}  \mBbbN{}.  \mforall{}f:\mBbbN{}  {}\mrightarrow{}  \mBbbN{}.    ((f  \mmember{}  fspr(B))  {}\mRightarrow{}  (f  \mmember{}  fin\_spr(B)))


By

Auto



Home Index