law cnt2

lawful-bytes@0.1.1.0 · proof_fast_append.bend:1182

import Base

1182law cnt2:
1183  for +np: Nat
1184  {Nat.is_lt(Nat.mul(Nat.div(Nat.add(np, 3n), 4n), 4n), Nat.add(np, 4n)) == True{} : Bool}