law QR

lawful-fields@0.1.1.0 · proof_num.bend:72

import Base

72law QR:
73  {Nat.mod(U32.to_nat(U32.not(0)), U32.to_nat(10)) == U32.to_nat(5) : Nat}