Nuprl Definition : atan-small

atan-small(x) ==  atan(atan-size-bound(x);x)


Definitions occuring in Statement :  atan-size-bound: atan-size-bound(x),  atan: atan(a;x)
Definitions occuring in definition :  atan: atan(a;x),  atan-size-bound: atan-size-bound(x)
FDL editor aliases :  atan-small
Latex:
atan-small(x)  ==    atan(atan-size-bound(x);x)


Date html generated: 2018_05_22-PM-03_06_44
Last ObjectModification: 2017_10_26-PM-10_41_42

Theory : reals_2


Home Index