law mul_zero_r

lawful-words@0.1.0.0 · proof_nat.bend:385

import Base

385law mul_zero_r:
386  for +a: Nat
387  {Nat.mul(a, 0n) == 0n : Nat}