law lt0_add

lawful-arrays@0.1.0.0 · proof_base.bend:205

import Base

205law lt0_add:
206  for +a: Nat
207  for +b: Nat
208  for e: {Nat.is_lt(0n, a) == True{} : Bool}
209  {Nat.is_lt(0n, Nat.add(a, b)) == True{} : Bool}