law four_alg

lawful-bytes@0.1.1.0 · proof_fast_append.bend:702

import Base

702law four_alg:
703  for +a: Nat
704  for +b: Nat
705  {Nat.add(4n, Nat.add(a, b)) == Nat.add(a, Nat.add(b, 4n)) : Nat}