---

Step * of Lemma spr_wf

g: List  . (spr(g)  )
BY
{ ProveWfLemma }


\mforall{}g:\mBbbN{}  List  {}\mrightarrow{}  \mBbbN{}.  (spr(g)  \mmember{}  \mBbbP{})


By

ProveWfLemma\mcdot{}



Home Index