law mul_zero_r

minebender-game@1.0.0.0 · proof_base.bend:475

import Base

475law mul_zero_r:
476  for +a: Nat
477  {Nat.mul(a, 0n) == 0n : Nat}