law QD

lawful-fields@0.1.1.0 · proof_num.bend:65

import Base

65law QD:
66  {Nat.div(U32.to_nat(U32.not(0)), U32.to_nat(10)) == U32.to_nat(429496729) : Nat}