Nuprl Definition : ifun
ifun(f;I) == real-fun(f;left-endpoint(I);right-endpoint(I))
Definitions occuring in Statement :
real-fun: real-fun(f;a;b),
right-endpoint: right-endpoint(I),
left-endpoint: left-endpoint(I)
Definitions occuring in definition :
right-endpoint: right-endpoint(I),
left-endpoint: left-endpoint(I),
real-fun: real-fun(f;a;b)
FDL editor aliases :
ifun
Latex:
ifun(f;I) == real-fun(f;left-endpoint(I);right-endpoint(I))
Date html generated:
2016_10_26-AM-09_47_40
Last ObjectModification:
2016_08_18-PM-02_23_51
Theory : reals
Home
Index