Nuprl Definition : realexp
realexp(x;y) == expr(y * ln(x))
Definitions occuring in Statement :
expr: expr(x),
ln: ln(a),
rmul: a * b
Definitions occuring in definition :
expr: expr(x),
rmul: a * b,
ln: ln(a)
FDL editor aliases :
realexp
Latex:
realexp(x;y) == expr(y * ln(x))
Date html generated:
2017_10_04-PM-10_38_30
Last ObjectModification:
2017_06_06-AM-10_40_00
Theory : reals_2
Home
Index