law double_add

stelliferous@0.0.2.0 · proofs/word_encoding.bend:22

import Base

22law double_add:
23  for +a: Nat
24  for +b: Nat
25  {Nat.double(Nat.add(a,b)) == Nat.add(Nat.double(a),Nat.double(b)) : Nat}