law lt_one_dbl

lawful-arrays@0.1.0.0 · proof_base.bend:258

import Base

258law lt_one_dbl:
259  for +b: Nat
260  for e: {Nat.is_lt(0n, b) == True{} : Bool}
261  {Nat.is_lt(1n, Nat.add(b, b)) == True{} : Bool}