law QM

lawful-fields@0.1.1.0 · proof_num.bend:142

import Base

142law QM:
143  for +M: Nat
144  for +hm: {Nat.pow(2n, 32n) == M : Nat}
145  {Nat.add(Nat.mul(U32.to_nat(429496729), 10n), 6n) == M : Nat}