Nuprl Definition : fpf-ap

f(x) == (snd(f)) x

Definitions occuring in Statement : pi2: snd(t), apply: f a
Definitions occuring in definition : apply: f a, pi2: snd(t)
FDL editor aliases : fpf-ap

Latex:
f(x) == (snd(f)) x Date html generated: 2018_05_21-PM-09_17_46 Last ObjectModification: 2018_02_09-AM-10_16_43 Theory : finite!partial!functions Home Index