---

Step * of Lemma max_initseg_sum_wf

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

1
1. [i] : 
2. [L] :  List
 max_initseg_sum(i;L)  

---

Latex:


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


By

RepeatFor  2  ((UD  THENA  Auto))

---

Home Index