Up
–
snarky_field_extensions
»
Snarky_field_extensions
»
Field_extensions
»
F6
» 4-Params
Parameter
F6.4-Params
val
frobenius_coeffs_c1 :
Fq.Unchecked.t
array