law posM

lawful-fields@0.1.1.0 · proof_num.bend:35

import Base

35law posM:
36  for +M: Nat
37  for +hm: {Nat.pow(2n, 32n) == M : Nat}
38  {Nat.is_lt(0n, M) == True{} : Bool}