Nuprl Definition : spread7

let a,b,c,d,e,f,g = u in
v[a;b;c;d;e;f;g] ==
  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,g = zz5
                 in v[a;b;c;d;e;f;g]

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

Latex:
let a,b,c,d,e,f,g = u in v[a;b;c;d;e;f;g] == 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,g = zz5 in v[a;b;c;d;e;f;g] Date html generated: 2016_05_13-PM-03_08_39 Last ObjectModification: 2016_01_04-AM-10_25_53 Theory : core_2 Home Index