Nuprl Definition : first_index
index-of-first x in L.P[x] == search(||L||;λi.P[L[i]])
Definitions occuring in Statement :
search: search(k;P),
select: L[n],
length: ||as||,
lambda: λx.A[x]
Definitions occuring in definition :
search: search(k;P),
length: ||as||,
lambda: λx.A[x],
select: L[n]
FDL editor aliases :
first_index
Latex:
index-of-first x in L.P[x] == search(||L||;\mlambda{}i.P[L[i]])
Date html generated:
2016_05_15-PM-02_05_36
Last ObjectModification:
2015_09_23-AM-07_37_52
Theory : list!
Home
Index