Nuprl Definition : sine

sine(x) ==  fst((TERMOF{sine-exists-ext:o, 1:l} x))


Definitions occuring in Statement :  pi1: fst(t),  apply: f a
Definitions occuring in definition :  sine-exists-ext,  apply: f a,  pi1: fst(t)
TermOfs occuring in Definition :  sine-exists-ext
FDL editor aliases :  sine
Latex:
sine(x)  ==    fst((TERMOF\{sine-exists-ext:o,  1:l\}  x))


Date html generated: 2016_10_26-AM-09_24_05
Last ObjectModification: 2016_08_25-PM-11_35_55

Theory : reals


Home Index