Nuprl Definition : select?
as[i]?a == if i <z ||as|| then as[i] else a fi
Definitions occuring in Statement :
select: L[n],
length: ||as||,
ifthenelse: if b then t else f fi ,
lt_int: i <z j
Definitions occuring in definition :
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
length: ||as||,
select: L[n]
FDL editor aliases :
select?
Latex:
as[i]?a == if i <z ||as|| then as[i] else a fi
Date html generated:
2016_05_15-PM-11_23_44
Last ObjectModification:
2015_09_23-AM-08_29_42
Theory : rationals
Home
Index