law double

stelliferous@0.0.2.0 · proofs/natural_addition.bend:17

import Base

17law double:
18  for +n: Nat
19  {Nat.add(n,n) == Nat.double(n) : Nat}