law flag_others_

minebender-game@1.0.0.0 · PROOF.bend:289

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

289law flag_others_:
290  for +g: G.Game
291  for +p: T.Pos
292  for +q: T.Pos
293  for diff: {p != q : T.Pos}
294  {G.flagged(G.step(g, T.Flag{p}), q) == G.flagged(g, q) : Bool}