Nuprl Definition : Sudoku-size
Sudoku-size(P) == Σ(Σ(||sudoku-allowed(P;i;j)|| | j < 9) | i < 9)
Definitions occuring in Statement :
sudoku-allowed: sudoku-allowed(P;i;j),
sum: Σ(f[x] | x < k),
length: ||as||,
natural_number: $n
Definitions occuring in definition :
sum: Σ(f[x] | x < k),
natural_number: $n,
length: ||as||,
sudoku-allowed: sudoku-allowed(P;i;j)
FDL editor aliases :
Sudoku-size
Latex:
Sudoku-size(P) == \mSigma{}(\mSigma{}(||sudoku-allowed(P;i;j)|| | j < 9) | i < 9)
Date html generated:
2016_05_15-PM-03_14_13
Last ObjectModification:
2015_09_23-AM-07_42_48
Theory : general
Home
Index