law div_self_le

lawful-bytes@0.1.1.0 · proof_fast_find.bend:902

import Base

902law div_self_le:
903  for +a: Nat
904  {Nat.is_le(Nat.div(a, 4n), a) == True{} : Bool}