law add_zero

lawful-arrays@0.1.0.0 · proof_base.bend:100

import Base

100law add_zero:
101  for +n: Nat
102  {Nat.add(n, 0n) == n : Nat}