Up
–
snarky_field_extensions
»
Snarky_field_extensions
»
Field_extensions
»
Cyclotomic_square
»
Make_F6
» 2-Params
Parameter
Make_F6.2-Params
val
cubic_non_residue :
F2.Impl.Field.t