Up – snarkette » Snarkette » Mnt6_80 » G2 » Coefficients

Module `G2.Coefficients`

val a : Fq3.t

val b : Fq3.t