Nuprl Definition : atan-log
atan-log(a;M) == gen_log_aux(a^3;3;a^2;2;0;M)
Definitions occuring in Statement :
gen_log_aux: gen_log_aux(p;c;x;i;n;M),
exp: i^n,
natural_number: $n
Definitions occuring in definition :
gen_log_aux: gen_log_aux(p;c;x;i;n;M),
exp: i^n,
natural_number: $n
FDL editor aliases :
atan-log
Latex:
atan-log(a;M) == gen\_log\_aux(a\^{}3;3;a\^{}2;2;0;M)
Date html generated:
2018_05_22-PM-03_05_24
Last ObjectModification:
2017_10_25-PM-10_56_39
Theory : reals_2
Home
Index