law add_zero

bend-mathlib@0.8.1.0 · nat.bend:5

import Base

5# Zero is a right identity for addition: x + 0 = x.
6law add_zero:
7  for x: Nat
8  {Nat.add(x, 0n) == x : Nat}