Nuprl Definition : map-square-board

map-square-board(i,j,v.f[i; j; v];b) ==  map-index(λi,r. map-index(λj,v. f[i; j; v];r);b)


Definitions occuring in Statement :  map-index: map-index(f;L),  lambda: λx.A[x]
Definitions occuring in definition :  map-index: map-index(f;L),  lambda: λx.A[x]
FDL editor aliases :  map-square-board
Latex:
map-square-board(i,j,v.f[i;  j;  v];b)  ==    map-index(\mlambda{}i,r.  map-index(\mlambda{}j,v.  f[i;  j;  v];r);b)


Date html generated: 2016_05_15-PM-03_13_53
Last ObjectModification: 2015_09_23-AM-07_42_45

Theory : general


Home Index