law contains_remove_self

minebender-game@1.0.0.0 · proof_grid.bend:246

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

246law contains_remove_self:
247  for +xs: List<&2, T.Pos>
248  for +p: T.Pos
249  {B.contains(B.remove(xs, p), p) == False{} : Bool}