Nuprl Definition : cosine

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


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


Date html generated: 2016_10_26-AM-09_25_26
Last ObjectModification: 2016_08_25-PM-07_15_37

Theory : reals


Home Index