law mul_one_l

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

import Base

206law mul_one_l:
207  for +a: Nat
208  {Nat.mul(1n, a) == a : Nat}