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