law add_right_successor

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/proofs/map_index.bend:51

import Base

51law add_right_successor:
52  for a: Nat
53  for +b: Nat
54  {Nat.add(a, 1n+b) == 1n+Nat.add(a, b) : Nat}