law cell_hi

minebender-game@1.0.0.0 · proof_solver.bend:241

import Base

241law cell_hi:
242  for +m: Maybe<&2, Bool>
243  for +b: Bool
244  for c: {cmp_cell(m, b) == True{} : Bool}
245  {Nat.is_le(one(b), Nat.add(tf(m), nf(m))) == True{} : Bool}