Nuprl Definition : spread5

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

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

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