law add_zero

lawful-words@0.1.0.0 · proof_nat.bend:185

import Base

185law add_zero:
186  for +n: Nat
187  {Nat.add(n, 0n) == n : Nat}