Nuprl Definition : seq+
s.t == λi.if i <z n then s i else t 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 :
seq+
Latex:
s.t == \mlambda{}i.if i <z n then s i else t fi
Date html generated:
2019_06_20-PM-02_46_42
Last ObjectModification:
2019_06_06-PM-02_23_19
Theory : fan-theorem
Home
Index