def xb_len

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

import Base

170def xb_len() -> {List.length(&2, Nat, xb()) == 256n : Nat}:
171  {==}