law same_ne

minebender-game@1.0.0.0 · proof_grid.bend:210

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

210law same_ne:
211  for +p: T.Pos
212  for +q: T.Pos
213  for ne: {p != q : T.Pos}
214  {B.same(p, q) == False{} : Bool}