law mul_assoc

bend-ml-nat-lemmas@0.1.2.0 · main.bend:156

import Base

156law mul_assoc:
157  for +a: Nat
158  for +b: Nat
159  for +c: Nat
160  {Nat.mul(a, Nat.mul(b, c)) == Nat.mul(Nat.mul(a, b), c) : Nat}