law zero_add

bend-mathlib@0.8.1.0 · nat.bend:18

import Base

18# Zero is a left identity for addition: 0 + x = x.
19law zero_add:
20  for -x: Nat
21  {Nat.add(0n, x) == x : Nat}