law s_hidden_eq

minebender-game@1.0.0.0 · proof_solver.bend:2408

import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/solver.bend as S
import minebender-game@1.0.0.0/LAWS.bend as L

2408law s_hidden_eq:
2409  for +s: T.Seen
2410  {S.is_hidden(s) == L.is_hidden(s) : Bool}