law mul_one_r

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

import Base

215law mul_one_r:
216  for +a: Nat
217  {Nat.mul(a, 1n) == a : Nat}