Nuprl Definition : SudokuPuzzle
SudokuPuzzle() == square-board(9;{1..10-} List)
Definitions occuring in Statement :
square-board: square-board(n;T),
list: T List,
int_seg: {i..j-},
natural_number: $n
Definitions occuring in definition :
square-board: square-board(n;T),
list: T List,
int_seg: {i..j-},
natural_number: $n
FDL editor aliases :
SudokuPuzzle
Latex:
SudokuPuzzle() == square-board(9;\{1..10\msupminus{}\} List)
Date html generated:
2016_05_15-PM-03_14_08
Last ObjectModification:
2015_09_23-AM-07_42_47
Theory : general
Home
Index