Nuprl Definition : spread4
let w,x,y,z = a in t[w; x; y; z] == let w,zz1 = a in let x,zz2 = zz1 in let y,z = zz2 in t[w; x; y; z]
Definitions occuring in Statement :
spread: spread def
Definitions occuring in definition :
spread: spread def
Latex:
let w,x,y,z = a
in t[w; x; y; z] ==
let w,zz1 = a
in let x,zz2 = zz1
in let y,z = zz2
in t[w; x; y; z]
Date html generated:
2016_05_13-PM-03_08_34
Last ObjectModification:
2016_01_04-AM-10_25_45
Theory : core_2
Home
Index