Nuprl Definition : ext2Baire

ext2Baire(n;f;d) ==  λx.if x <then else fi 



Definitions occuring in Statement :  ifthenelse: if then else fi  lt_int: i <j apply: a lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x] ifthenelse: if then else fi  lt_int: i <j apply: a
FDL editor aliases :  ext2Baire

Latex:
ext2Baire(n;f;d)  ==    \mlambda{}x.if  x  <z  n  then  f  x  else  d  fi 



Date html generated: 2016_05_14-PM-09_40_13
Last ObjectModification: 2015_09_22-PM-06_03_36

Theory : continuity


Home Index