Up – snarkette » Snarkette » Mnt4_80 » G1 » Coefficients

Module `G1.Coefficients`

val a : Fq.t

val b : Fq.t