Nuprl Definition : spread6

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

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

Latex:
let a,b,c,d,e,f = u in v[a;b;c;d;e;f] == let a,zz1 = u in let b,zz2 = zz1 in let c,zz3 = zz2 in let d,zz4 = zz3 in let e,f = zz4 in v[a;b;c;d;e;f] Date html generated: 2016_05_13-PM-03_08_37 Last ObjectModification: 2016_01_04-AM-10_25_50 Theory : core_2 Home Index