law mul_comm

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

import Base

124law mul_comm:
125  for +a: Nat
126  for +b: Nat
127  {Nat.mul(a, b) == Nat.mul(b, a) : Nat}