law pow_le4

lawful-bytes@0.1.1.0 · proof_fast_find.bend:590

import Base

590law pow_le4:
591  for +p: Nat
592  {Nat.is_le(p, Nat.mul(4n, p)) == True{} : Bool}