Nuprl Definition : select-tagged-indices
select-tagged-indices(P;tg;L) ==  select-tagged-indices-aux(P;tg;L) 0
Definitions occuring in Statement : 
select-tagged-indices-aux: select-tagged-indices-aux(P;tg;L)
, 
apply: f a
, 
natural_number: $n
FDL editor aliases : 
select-tagged-indices
Latex:
select-tagged-indices(P;tg;L)  ==    select-tagged-indices-aux(P;tg;L)  0
Date html generated:
2015_07_23-AM-11_57_44
Last ObjectModification:
2012_08_30-PM-01_47_51
Home
Index