Nuprl Definition : baire_eq_from
baire_eq_from(a;k) == λn.if n <z k then a n else a k fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
apply: f a,
lt_int: i <z j,
ifthenelse: if b then t else f fi ,
lambda: λx.A[x]
FDL editor aliases :
baire_eq_from
Latex:
baire\_eq\_from(a;k) == \mlambda{}n.if n <z k then a n else a k fi
Date html generated:
2017_04_21-AM-11_24_15
Last ObjectModification:
2017_04_20-PM-06_38_11
Theory : continuity
Home
Index