law zero_right

stelliferous@0.0.2.0 · proofs/natural_addition.bend:30

import Base

30law zero_right:
31  for +n: Nat
32  {Nat.add(n,0n) == n : Nat}