---

Step * of Lemma max_seg_sum_wf

[m:]. [L: List].  (max_seg_sum(m;L)  )
BY
{ RepeatFor 2 ((UD THENA Auto)) }

1
1. [m] : 
2. [L] :  List
 max_seg_sum(m;L)  

---

Latex:


\mforall{}[m:\mBbbZ{}].  \mforall{}[L:\mBbbZ{}  List].    (max\_seg\_sum(m;L)  \mmember{}  \mBbbP{})


By

RepeatFor  2  ((UD  THENA  Auto))

---

Home Index