Module Fq2.Params

val non_residue : Fq.t