law add_zero

bend-ml-nat-lemmas@0.1.2.0 · main.bend:27

import Base

27law add_zero:
28  for a: Nat
29  {Nat.add(a, 0n) == a : Nat}