Nuprl Definition : ss-ap

f(x) ==  f x


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


Date html generated: 2019_10_31-AM-07_27_28
Last ObjectModification: 2019_03_19-PM-03_42_07

Theory : constructive!algebra


Home Index