law add_zero

minebender-game@1.0.0.0 · proof_base.bend:160

import Base

160law add_zero:
161  for +n: Nat
162  {Nat.add(n, 0n) == n : Nat}