law row_true_set_f

minebender-game@1.0.0.0 · proof_speed.bend:57

import Base
import minebender-game@1.0.0.0/solver.bend as S

57law row_true_set_f:
58  for +r: List<&2, Maybe<&2, Bool>>
59  for +x: Nat
60  for e: {List.get(&2, Maybe<&2, Bool>, r, x) == Some{None{}} : Maybe<&2, Maybe<&2, Bool>>}
61  {S.row_true(List.set(&2, Maybe<&2, Bool>, r, x, Some{False{}})) == S.row_true(r) : Nat}