Nuprl Definition : spread8

let a,b,c,d,e,f,g,h = u in
v[a;b;c;d;e;f;g;h] ==
  let a,zz1 = u
  in let b,zz2 = zz1
     in let c,zz3 = zz2
        in let d,zz4 = zz3
           in let e,zz5 = zz4
              in let f,zz6 = zz5
                 in let g,h = zz6
                    in v[a;b;c;d;e;f;g;h]

Definitions occuring in Statement : spread: spread def
Definitions occuring in definition : spread: spread def
FDL editor aliases : spread8

Latex:
let a,b,c,d,e,f,g,h = u in v[a;b;c;d;e;f;g;h] == let a,zz1 = u in let b,zz2 = zz1 in let c,zz3 = zz2 in let d,zz4 = zz3 in let e,zz5 = zz4 in let f,zz6 = zz5 in let g,h = zz6 in v[a;b;c;d;e;f;g;h] Date html generated: 2016_05_15-PM-04_51_51 Last ObjectModification: 2015_09_23-AM-07_50_41 Theory : general Home Index