law le_x4

lawful-bytes@0.1.1.0 · proof_fast_append.bend:695

import Base

695law le_x4:
696  for +w: Nat
697  {Nat.is_le(w, Nat.mul(w, 4n)) == True{} : Bool}