Nuprl Definition : fpf-ap
f(x) == (snd(f)) x
Definitions occuring in Statement :
pi2: snd(t),
apply: f a
FDL editor aliases :
fpf-ap
f(x) == (snd(f)) x
Date html generated:
2015_07_17-AM-09_16_15
Last ObjectModification:
2012_02_25-AM-11_06_06
Home
Index