law wb4

lawful-bytes@0.1.1.0 · proof_fast_find.bend:370

import Base

370law wb4:
371  for +w: Nat
372  for +pp: Nat
373  for +h: {Nat.is_lt(w, pp) == True{} : Bool}
374  {Nat.is_le(Nat.add(Nat.mul(w, 4n), 4n), Nat.mul(4n, pp)) == True{} : Bool}