law cell_lo

minebender-game@1.0.0.0 · proof_solver.bend:227

import Base

227law cell_lo:
228  for +m: Maybe<&2, Bool>
229  for +b: Bool
230  for c: {cmp_cell(m, b) == True{} : Bool}
231  {Nat.is_le(tf(m), one(b)) == True{} : Bool}