law add_succ

minebender-game@1.0.0.0 · proof_base.bend:172

import Base

172law add_succ:
173  for +a: Nat
174  for +b: Nat
175  {Nat.add(a, 1n+b) == 1n+Nat.add(a, b) : Nat}