law associative

stelliferous@0.0.2.0 · proofs/natural_addition.bend:53

import Base

53law associative:
54  for +first: Nat
55  for +second: Nat
56  for +third: Nat
57  {Nat.add(Nat.add(first,second),third) == Nat.add(first,Nat.add(second,third)) : Nat}