Nuprl Definition : list-in-fin_spr
(a 
fspr(B)) == list_ind_reverse(a;tt;
r,f,l. (r 
l 
z B f))
Definitions occuring in Statement :
le_int: i z j,
band: p q,
btrue: tt,
apply: f a,
lambda: x.A[x]
FDL editor aliases :
list-in-fin_spr
(a \mmember{} fspr(B)) == list\_ind\_reverse(a;tt;\mlambda{}r,f,l. (r \mwedge{}\msubb{} l \mleq{}z B f))
Date html generated:
2013_03_20-AM-10_34_57
Last ObjectModification:
2013_03_09-PM-08_53_39
Home
Index