---

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

---

Definitions :  apply: f a,  map-index_aux: map-index_aux(f;L),  natural_number: $n
FDL editor aliases :  map-index

---

map-index(f;L)  ==    map-index\_aux(f;L)  0


Date html generated: 2010_08_27-PM-08_46_07
Last ObjectModification: 2010_03_18-PM-02_22_53

Home Index