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