~/jendhub

def mmL

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/ed25519/scalar3.bend:47

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/scalar3.bend as Scalar3
import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/ed25519.bend as SE

47def mmL(+one: Nat) -> Nat:
48  Nat.sub(SE.ell(one), 1n)

Uses (3)

Used by (18)