---

Step * 1 of Lemma list_accum_cons_lemma


1. y : Top
2. x : Top
3. z : Top
4. f : Top
⊢ accumulate (with value a and list item b):
   f[a;b]
  over list:
    y
  with starting value:
   f[z;x]) ~ accumulate (with value a and list item b):
              f[a;b]
             over list:
               y
             with starting value:
              f[z;x])
BY
{ Auto }

---

Latex:

---

Latex:

1.  y  :  Top
2.  x  :  Top
3.  z  :  Top
4.  f  :  Top
\mvdash{}  accumulate  (with  value  a  and  list  item  b):
      f[a;b]
    over  list:
        y
    with  starting  value:
      f[z;x])  \msim{}  accumulate  (with  value  a  and  list  item  b):
                            f[a;b]
                          over  list:
                              y
                          with  starting  value:
                            f[z;x])


By

---

Latex:
Auto

---

Home Index