law add_one

minebender-game@1.0.0.0 · proof_base.bend:148

import Base

148law add_one:
149  for +n: Nat
150  {Nat.add(n, 1n) == 1n+n : Nat}