law one_zero

minebender-game@1.0.0.0 · proof_cells.bend:554

import Base

554law one_zero:
555  for +b: Bool
556  for e: {Bool.pick(Nat, b, 1n, 0n) == 0n : Nat}
557  {b == False{} : Bool}