law dlt

lawful-fields@0.1.1.0 · proof_digits.bend:488

import Base

488law dlt:
489  for +p: Nat
490  {Nat.is_le(Nat.div(1n+p, 10n), p) == True{} : Bool}