Nuprl Definition : board-cell
board-cell(b;i;j) == b[i][j]
Definitions occuring in Statement :
select: L[n]
Definitions occuring in definition :
select: L[n]
FDL editor aliases :
board-cell
Latex:
board-cell(b;i;j) == b[i][j]
Date html generated:
2016_05_15-PM-03_13_57
Last ObjectModification:
2015_09_23-AM-07_42_46
Theory : general
Home
Index