law tcontains_todos

minebender-game@1.0.0.0 · proof_solver.bend:1902

import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/board.bend as B
import minebender-game@1.0.0.0/solver.bend as S

1902law tcontains_todos:
1903  for +its: List<&2, S.Item>
1904  for +cs: List<&2, T.Pos>
1905  for +q: T.Pos
1906  {tcontains(S.todos(its, cs), q) == B.contains(cs, q) : Bool}