Nuprl Definition : replace-seq-from
replace-seq-from(s;n;k) ==  λx.if (x) < (n)  then s x  else k
Definitions occuring in Statement : 
less: if (a) < (b)  then c  else d
, 
apply: f a
, 
lambda: λx.A[x]
Definitions occuring in definition : 
lambda: λx.A[x]
, 
less: if (a) < (b)  then c  else d
, 
apply: f a
FDL editor aliases : 
replace-seq-from
Latex:
replace-seq-from(s;n;k)  ==    \mlambda{}x.if  (x)  <  (n)    then  s  x    else  k
Date html generated:
2016_05_14-PM-09_46_55
Last ObjectModification:
2015_10_21-PM-06_37_14
Theory : continuity
Home
Index