Nuprl Definition : r-ap

f(x) ==  f x


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
FDL editor aliases :  r-ap r-ap
Latex:
f(x)  ==    f  x


Date html generated: 2016_05_18-AM-08_41_42
Last ObjectModification: 2015_09_23-AM-09_07_17

Theory : reals


Home Index