Nuprl Definition : imax-list

imax-list(L) ==  combine-list(x,y.imax(x;y);L)


Definitions occuring in Statement :  combine-list: combine-list(x,y.f[x; y];L),  imax: imax(a;b)
Definitions occuring in definition :  combine-list: combine-list(x,y.f[x; y];L),  imax: imax(a;b)
FDL editor aliases :  imax-list
Latex:
imax-list(L)  ==    combine-list(x,y.imax(x;y);L)


Date html generated: 2016_05_14-AM-06_43_39
Last ObjectModification: 2015_12_03-PM-02_07_50

Theory : list_0


Home Index