Nuprl Definition : image-ap

f[x] ==  <f x, x>


Definitions occuring in Statement :  apply: f a,  pair: <a, b>
Definitions occuring in definition :  apply: f a,  pair: <a, b>
FDL editor aliases :  image-ap image-ap
Latex:
f[x]  ==    <f  x,  x>


Date html generated: 2019_10_30-AM-06_34_28
Last ObjectModification: 2019_10_25-AM-11_17_03

Theory : reals


Home Index