law le_mul10

lawful-fields@0.1.1.0 · proof_num.bend:283

import Base

283law le_mul10:
284  for +v: Nat
285  {Nat.is_le(v, Nat.mul(v, 10n)) == True{} : Bool}