law bk_step

lawful-fields@0.1.1.0 · proof_digits.bend:331

import Base

331law bk_step:
332  for +k: Nat
333  {U32.is_le(U32.div(BK(1n+k), 10), BK(k)) == True{} : Bool}