~/jendhub

law row_mines_eq

minebender-game@1.0.0.0 · proof_copy.bend:160

import minebender-game@1.0.0.0/proof_copy.bend as ProofCopy
import Base
import minebender-game@1.0.0.0/board.bend as B
import minebender-game@1.0.0.0/LAWS.bend as L

160law row_mines_eq:
161  for +row: List<&2, Bool>
162  {B.row_mines(row) == L.row_mines(row) : Nat}

Uses (7)

Used by (1)