~/jendhub

def m

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

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/scalarpow.bend as Scalarpow
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.np(one)

Uses (2)

Used by (0)

No other definition uses this definition.