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