law lt32

lawful-bytes@0.1.1.0 · proof_core.bend:165

import Base

165law lt32:
166  for +d: Nat
167  for +hd: {Nat.is_le(d, 29n) == True{} : Bool}
168  {Nat.is_lt(d, 32n) == True{} : Bool}