Step
*
of Lemma
gen_fin_spr_wf
[g:
List
].
(gen_fin_spr(g)
)
BY
{
ProveWfLemma
}
\mforall{}[g:\mBbbN{} List {}\mrightarrow{} \mBbbN{}]. (gen\_fin\_spr(g) \mmember{} \mBbbP{})
By
ProveWfLemma
Home
Index
[g:
List 
]. (gen_fin_spr(g) 
)