law is_hidden_eq

minebender-game@1.0.0.0 · proof_copy.bend:244

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

244law is_hidden_eq:
245  for +s: T.Seen
246  {G.is_hidden(s) == L.is_hidden(s) : Bool}