Nuprl Definition : map-index

map-index(f;L) ==  map-index_aux(f;L) 0


Definitions occuring in Statement :  map-index_aux: map-index_aux(f;L),  apply: f a,  natural_number: $n
Definitions occuring in definition :  apply: f a,  map-index_aux: map-index_aux(f;L),  natural_number: $n
FDL editor aliases :  map-index
Latex:
map-index(f;L)  ==    map-index\_aux(f;L)  0


Date html generated: 2016_05_14-PM-03_12_38
Last ObjectModification: 2015_09_22-PM-05_58_44

Theory : list_1


Home Index