law n_mul_comm

lawful-arrays@0.1.0.0 · proof_words.bend:90

import Base

90law n_mul_comm:
91  for +a: Nat
92  for +b: Nat
93  {Nat.mul(a, b) == Nat.mul(b, a) : Nat}