Nuprl Definition : case-real3

case-real3(a;b;f) ==  accelerate(3;case-real3-seq(a;b;f))


Definitions occuring in Statement :  case-real3-seq: case-real3-seq(a;b;f),  accelerate: accelerate(k;f),  natural_number: $n
Definitions occuring in definition :  accelerate: accelerate(k;f),  natural_number: $n,  case-real3-seq: case-real3-seq(a;b;f)
FDL editor aliases :  case-real3
Latex:
case-real3(a;b;f)  ==    accelerate(3;case-real3-seq(a;b;f))


Date html generated: 2019_10_29-AM-09_37_34
Last ObjectModification: 2019_06_14-PM-03_10_35

Theory : reals


Home Index