law he32

lawful-bytes@0.1.1.0 · proof_core.bend:523

import Base

523law he32:
524  for +d: Nat
525  for +hd: {Nat.is_le(d, 29n) == True{} : Bool}
526  {Nat.is_lt(Nat.add(2n, d), 32n) == True{} : Bool}