~/jendhub

def m

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/secp256k1/fieldpow.bend:25

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/fieldpow.bend as Fieldpow
import Base
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/consts.bend as K

25def m(+one: Nat) -> Nat:
26  1n+K.pp(one)

Uses (2)

Used by (0)

No other definition uses this definition.