law cells_on

minebender-game@1.0.0.0 · proof_cells.bend:403

import Base
import minebender-game@1.0.0.0/board.bend as B

403# Every cell of cells(w, h) is on the board.
404law cells_on:
405  for +w: Nat
406  for +h: Nat
407  {allp(~WH, ~onb, WH{w, h}, B.cells(w, h)) == True{} : Bool}