Nuprl Definition : cs-estimate

Estimate(s;a) ==  snd((s a))


Definitions occuring in Statement :  pi2: snd(t),  apply: f a
FDL editor aliases :  cs-estimate
Estimate(s;a)  ==    snd((s  a))


Date html generated: 2015_07_17-AM-11_25_45
Last ObjectModification: 2012_02_25-AM-11_41_54

Home Index