---

Step * 1 1 1 of Lemma maxsegsum_sqexists


1. L :  List
 max_seg_sum(0;[])  max_initseg_sum(0;[])
BY
{ D 0 }

1
1. L :  List
 max_seg_sum(0;[])

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

---

Latex:



1.  L  :  \mBbbZ{}  List
\mvdash{}  max\_seg\_sum(0;[])  \mwedge{}  max\_initseg\_sum(0;[])


By

D  0

---

Home Index