law mul_zero

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

import Base

86law mul_zero:
87  for a: Nat
88  {Nat.mul(a, 0n) == 0n : Nat}