Nuprl Definition : rexp
e^x == fst((TERMOF{exp-exists-ext:o, 1:l} x))
Definitions occuring in Statement :
pi1: fst(t),
apply: f a
Definitions occuring in definition :
exp-exists-ext,
apply: f a,
pi1: fst(t)
TermOfs occuring in Definition :
exp-exists-ext
FDL editor aliases :
rexp
rexp
Latex:
e\^{}x == fst((TERMOF\{exp-exists-ext:o, 1:l\} x))
Date html generated:
2016_10_26-AM-09_26_50
Last ObjectModification:
2016_08_26-PM-02_47_51
Theory : reals
Home
Index