Nuprl Definition : alt-arcsin

alt-arcsin(a) ==  real-from-approx(n.near-arcsine(a;n))


Definitions occuring in Statement :  near-arcsine: near-arcsine(a;N),  real-from-approx: real-from-approx(n.x[n])
Definitions occuring in definition :  real-from-approx: real-from-approx(n.x[n]),  near-arcsine: near-arcsine(a;N)
FDL editor aliases :  alt-arcsin
Latex:
alt-arcsin(a)  ==    real-from-approx(n.near-arcsine(a;n))


Date html generated: 2019_10_31-AM-06_13_55
Last ObjectModification: 2019_05_21-PM-11_16_06

Theory : reals_2


Home Index