Nuprl Definition : sinh
sinh(x) == (expr(x) - expr(-(x)))/2
Definitions occuring in Statement :
expr: expr(x),
int-rdiv: (a)/k1,
rsub: x - y,
rminus: -(x),
natural_number: $n
Definitions occuring in definition :
natural_number: $n,
rminus: -(x),
expr: expr(x),
rsub: x - y,
int-rdiv: (a)/k1
FDL editor aliases :
sinh
Latex:
sinh(x) == (expr(x) - expr(-(x)))/2
Date html generated:
2016_11_08-AM-09_09_23
Last ObjectModification:
2016_10_30-PM-06_40_25
Theory : reals_2
Home
Index