~/jendhub

law hidden_unflagged_eq

minebender-game@1.0.0.0 · proof_copy.bend:295

import minebender-game@1.0.0.0/proof_copy.bend as ProofCopy
import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/game.bend as G
import minebender-game@1.0.0.0/LAWS.bend as L

295law hidden_unflagged_eq:
296  for +g: G.Game
297  for +v: T.Knowledge
298  for +qs: List<&2, T.Pos>
299  {G.hidden_unflagged(g, v, qs) == L.hidden_unflagged(g, v, qs) : List<&2, T.Pos>}

Uses (12)

Used by (1)