Nuprl Definition : ext-finite-nat-seq
ext-finite-nat-seq(f;x) == let n,s = f in λk.if (k) < (n) then s k else x
Definitions occuring in Statement :
less: if (a) < (b) then c else d,
apply: f a,
lambda: λx.A[x],
spread: spread def
Definitions occuring in definition :
spread: spread def,
lambda: λx.A[x],
less: if (a) < (b) then c else d,
apply: f a
FDL editor aliases :
ext-finite-nat-seq
Latex:
ext-finite-nat-seq(f;x) == let n,s = f in \mlambda{}k.if (k) < (n) then s k else x
Date html generated:
2016_05_14-PM-09_57_14
Last ObjectModification:
2016_01_16-PM-06_35_21
Theory : continuity
Home
Index