Nuprl Definition : lgc
lgc(a;x) == (x - r(2)) + 4 * (a/a + real_exp(x))
Definitions occuring in Statement :
real_exp: real_exp(x),
rdiv: (x/y),
int-rmul: k1 * a,
rsub: x - y,
radd: a + b,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
rsub: x - y,
int-to-real: r(n),
int-rmul: k1 * a,
natural_number: $n,
rdiv: (x/y),
radd: a + b,
real_exp: real_exp(x)
FDL editor aliases :
lgc
Latex:
lgc(a;x) == (x - r(2)) + 4 * (a/a + real\_exp(x))
Date html generated:
2019_10_31-AM-06_08_33
Last ObjectModification:
2019_02_04-PM-10_50_37
Theory : reals_2
Home
Index