def c_refl

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/curve25519/cong.bend:13

import Base

13def c_refl(+pp: Nat, +a: Nat) -> ceq(pp, a, a):
14  {==}