Step
*
of Lemma
seg_sum_wf
[p,q:
].
[L:
List].
(seg_sum(p;q;L)
)
BY
{
ProveWfLemma
}
Latex:
\mforall{}[p,q:\mBbbZ{}]. \mforall{}[L:\mBbbZ{} List]. (seg\_sum(p;q;L) \mmember{} \mBbbZ{})
By
ProveWfLemma
Home
Index
[p,q:
]. [L: List]. (seg_sum(p;q;L) 
)