Up
–
snarky_field_extensions
»
Snarky_field_extensions
»
Field_extensions
»
E2
» 2-Params
Parameter
E2.2-Params
val
non_residue :
F.Unchecked.t
val
mul_by_non_residue :
F.t
->
F.t