law s48

lawful-fields@0.1.1.0 · proof_digits.bend:377

import Base

377law s48:
378  for +r: Nat
379  for +hr: {Nat.is_lt(r, 10n) == True{} : Bool}
380  {Nat.is_le(Nat.add(r, 48n), Nat.pow(2n, 6n)) == True{} : Bool}