Nuprl Definition : spread3
let x,y,z = a in t[x; y; z] == let x,zz = a in let y,z = zz in t[x; y; z]
Definitions occuring in Statement :
spread: spread def
Definitions occuring in definition :
spread: spread def
FDL editor aliases :
spread3
Latex:
let x,y,z = a in t[x; y; z] == let x,zz = a in let y,z = zz in t[x; y; z]
Date html generated:
2016_05_13-PM-03_08_33
Last ObjectModification:
2016_01_04-AM-10_25_42
Theory : core_2
Home
Index