Nuprl Definition : rtan
rtan(x) == (rsin(x)/rcos(x))
Definitions occuring in Statement :
rcos: rcos(x),
rsin: rsin(x),
rdiv: (x/y)
Definitions occuring in definition :
rdiv: (x/y),
rsin: rsin(x),
rcos: rcos(x)
FDL editor aliases :
rtan
Latex:
rtan(x) == (rsin(x)/rcos(x))
Date html generated:
2018_05_22-PM-02_59_12
Last ObjectModification:
2017_10_19-PM-05_17_30
Theory : reals_2
Home
Index