Step
*
of Lemma
initseg_sum_wf
[r:
].
[L:
List].
(initseg_sum(r;L)
)
BY
{
ProveWfLemma
}
Latex:
\mforall{}[r:\mBbbZ{}]. \mforall{}[L:\mBbbZ{} List]. (initseg\_sum(r;L) \mmember{} \mBbbZ{})
By
ProveWfLemma
Home
Index
[r:
]. [L: List]. (initseg_sum(r;L) 
)