def eight_p_gea

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/curve25519/fieldops.bend:165

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as F

165def eight_p_gea() -> {gea(F.eight_p(), 255n) == True{} : Bool}:
166  {==}