law ge10

lawful-fields@0.1.1.0 · proof_digits.bend:445

import Base

445law ge10:
446  for +n: U32
447  for +hs: {U32.is_lt(n, 10) == False{} : Bool}
448  {Nat.is_lt(U32.to_nat(n), 10n) == False{} : Bool}